Dave, 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. Even though Gary is green with envy he is nice with rosy red cheeks. Those who are nice but a bit rough around the edges are known for being blue. A green person who is kind and a bit blue is young. Get out of the way if a red and green person walks up to you because they are rough. People with rough red and blue skin are young. If you meet somebody who is young, rough and round, you can be sure they are nice as well. Young, kind people with a round body shape can be cold to strangers.
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Gary is not green.
False
1
inv-proof
[(triple7)]
("Gary" "is" "green" "-")
triple7
Gary is rough.
True
3
proof
[(((triple5 triple7) -> rule3))]
("Gary" "is" "rough" "+")
((triple5 triple7) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple5 triple7) -> rule3))]
("Gary" "is" "rough" "-")
((triple5 triple7) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
True
5
proof
[(((triple6 ((triple5 triple7) -> rule3)) -> rule1))]
("Gary" "is" "blue" "+")
((triple6 ((triple5 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((triple6 ((triple5 triple7) -> rule3)) -> rule1))]
("Gary" "is" "blue" "-")
((triple6 ((triple5 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
True
10
proof
[(((((triple5 triple7) -> rule3) triple5 ((triple6 ((triple5 triple7) -> rule3)) -> rule1)) -> rule4))]
("Gary" "is" "young" "+")
((((triple5 triple7) -> (rule3 % int3)) triple5 ((triple6 ((triple5 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not young.
False
10
inv-proof
[(((((triple5 triple7) -> rule3) triple5 ((triple6 ((triple5 triple7) -> rule3)) -> rule1)) -> rule4))]
("Gary" "is" "young" "-")
((((triple5 triple7) -> (rule3 % int3)) triple5 ((triple6 ((triple5 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "cold" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Dave is blue.[(triple4)] Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is round.[(triple1)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] @1: Gary is rough.[(((triple5 triple7) -> rule3))] @2: Gary is blue.[(((triple6 ((triple5 triple7) -> rule3)) -> rule1))] @3: Gary is young.[(((((triple5 triple7) -> rule3) triple5 ((triple6 ((triple5 triple7) -> rule3)) -> rule1)) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
((triple5 triple7) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple6 ((triple5 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple5 triple7) -> (rule3 % int3)) triple5 ((triple6 ((triple5 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Dave, 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.
Even though Gary is green with envy he is nice with rosy red cheeks.
Those who are nice but a bit rough around the edges are known for being blue.
A green person who is kind and a bit blue is young.
Get out of the way if a red and green person walks up to you because they are rough.
People with rough red and blue skin are young.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Young, kind people with a round body shape can be cold to strangers.