Nice, but round, Alan has been said to be cold. Charlie, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. Dave is rough and green, but he's also nice, kind and round. Kind young people are red. If you can find someone who is nice and red, then be relieved that they are certain to be kind. Any person who is blue and round, if they are kind at the same time, will be young. Blue people who are kind and nice are actually quite rough. A blue and red colored person that is young is also very cold. People who are rough are often rather kind as well.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Alan is cold.
True
1
proof
[(triple3)]
("Alan" "is" "cold" "+")
triple3
Dave is not kind.
False
1
inv-proof
[(triple11 OR ((triple9) -> rule6))]
("Dave" "is" "kind" "-")
triple11
((triple9) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Charlie is kind.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Charlie" "is" "kind" "+")
((triple6 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("Charlie" "is" "kind" "-")
((triple6 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
True
6
proof
[(((triple7 ((triple6 triple5) -> rule2) triple6) -> rule4))]
("Charlie" "is" "rough" "+")
((triple7 ((triple6 triple5) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not rough.
False
6
inv-proof
[(((triple7 ((triple6 triple5) -> rule2) triple6) -> rule4))]
("Charlie" "is" "rough" "-")
((triple7 ((triple6 triple5) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
True
9
proof
[(((triple7 ((triple7 triple4 ((triple6 triple5) -> rule2)) -> rule3) triple5) -> rule5))]
("Charlie" "is" "cold" "+")
((triple7 ((triple7 triple4 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not cold.
False
9
inv-proof
[(((triple7 ((triple7 triple4 ((triple6 triple5) -> rule2)) -> rule3) triple5) -> rule5))]
("Charlie" "is" "cold" "-")
((triple7 ((triple7 triple4 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "rough" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "cold" "+")
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "red" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple7)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Charlie is round.[(triple4)] Dave is green.[(triple12)] Dave is kind.[(triple11 OR ((triple9) -> rule6))] Dave is nice.[(triple10)] Dave is rough.[(triple9)] Dave is round.[(triple8)] @1: Charlie is kind.[(((triple6 triple5) -> rule2))] @2: Charlie is rough.[(((triple7 ((triple6 triple5) -> rule2) triple6) -> rule4))] Charlie is young.[(((triple7 triple4 ((triple6 triple5) -> rule2)) -> rule3))] @3: Charlie is cold.[(((triple7 ((triple7 triple4 ((triple6 triple5) -> rule2)) -> rule3) triple5) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple12
Dave is kind.
("Dave" "is" "kind" "+")
triple11
((triple9) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple7 ((triple6 triple5) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple7 triple4 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple7 ((triple7 triple4 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Nice, but round, Alan has been said to be cold.
Charlie, who is a very nice man, is also quite round in shape; He found himself quite blue from being made fun of him, but that also made his face red with anger.
Dave is rough and green, but he's also nice, kind and round.
Kind young people are red.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
Any person who is blue and round, if they are kind at the same time, will be young.
Blue people who are kind and nice are actually quite rough.
A blue and red colored person that is young is also very cold.
People who are rough are often rather kind as well.