Dave is rough around the edges, but he's often blue and always nice. Fred, who is a young, rough person, is also a kind and cold guy. Soon you will understand that big people are nice. People who are red and round are usually assumed to be green. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. It is true that kind people who have become cold and blue and survived are necessarily big. If a person behaves in a nice way while they are physically blue and big, they're definitely round. If a person has round shape then they are also green and red.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Fred is kind.
True
1
proof
[(triple6)]
("Fred" "is" "kind" "+")
triple6
Fred is not young.
False
1
inv-proof
[(triple4)]
("Fred" "is" "young" "-")
triple4
Fred is blue.
True
4
proof
[(((triple6 triple5 triple4) -> rule3))]
("Fred" "is" "blue" "+")
((triple6 triple5 triple4) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
4
inv-proof
[(((triple6 triple5 triple4) -> rule3))]
("Fred" "is" "blue" "-")
((triple6 triple5 triple4) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
True
7
proof
[(((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4))]
("Fred" "is" "big" "+")
((((triple6 triple5 triple4) -> (rule3 % int2)) triple7 triple6) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not big.
False
7
inv-proof
[(((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4))]
("Fred" "is" "big" "-")
((((triple6 triple5 triple4) -> (rule3 % int2)) triple7 triple6) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
True
8
proof
[(((((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule1))]
("Fred" "is" "nice" "+")
((((((triple6 triple5 triple4) -> (rule3 % int3)) triple7 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not nice.
False
8
inv-proof
[(((((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule1))]
("Fred" "is" "nice" "-")
((((((triple6 triple5 triple4) -> (rule3 % int3)) triple7 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is round.
True
20
proof
[(((((((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule1) ((triple6 triple5 triple4) -> rule3) ((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule5))]
("Fred" "is" "round" "+")
((((((((triple6 triple5 triple4) -> (rule3 % int4)) triple7 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple6 triple5 triple4) -> (rule3 % int4)) ((((triple6 triple5 triple4) -> (rule3 % int4)) triple7 triple6) -> (rule4 % int3))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not round.
False
20
inv-proof
[(((((((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule1) ((triple6 triple5 triple4) -> rule3) ((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule5))]
("Fred" "is" "round" "-")
((((((((triple6 triple5 triple4) -> (rule3 % int4)) triple7 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple6 triple5 triple4) -> (rule3 % int4)) ((((triple6 triple5 triple4) -> (rule3 % int4)) triple7 triple6) -> (rule4 % int3))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Charlie" "is" "green" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not green.
Unknown
inv-rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is blue.[(triple3)] Dave is nice.[(triple2)] Dave is rough.[(triple1)] Fred is cold.[(triple7)] Fred is kind.[(triple6)] Fred is rough.[(triple5)] Fred is young.[(triple4)] @1: Fred is blue.[(((triple6 triple5 triple4) -> rule3))] @2: Fred is big.[(((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4))] @3: Fred is nice.[(((((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule1))] @4: Fred is round.[(((((((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule1) ((triple6 triple5 triple4) -> rule3) ((((triple6 triple5 triple4) -> rule3) triple7 triple6) -> rule4)) -> rule5))]
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
((triple6 triple5 triple4) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple6 triple5 triple4) -> (rule3 % int2)) triple7 triple6) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((((triple6 triple5 triple4) -> (rule3 % int3)) triple7 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((((((triple6 triple5 triple4) -> (rule3 % int4)) triple7 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple6 triple5 triple4) -> (rule3 % int4)) ((((triple6 triple5 triple4) -> (rule3 % int4)) triple7 triple6) -> (rule4 % int3))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Dave is rough around the edges, but he's often blue and always nice.
Fred, who is a young, rough person, is also a kind and cold guy.
Soon you will understand that big people are nice.
People who are red and round are usually assumed to be green.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
It is true that kind people who have become cold and blue and survived are necessarily big.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
If a person has round shape then they are also green and red.