Alan is a young guy who is also round, red, kind, cold and blue. Charlie wears all blue. As much as Fred is nice, he is also cold and often feels blue. A blue colored, nice but rough person is definitely young too. Big and cold people are likely to be round, too. If smeone has a blue and green color, then they are young and probably kind. Find someone big, blue, and kind, and you'll see they are also quite young. A young, green person who is cold is rough around the edges. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy. Whenever you see Pete you run into a young man rough, which means he will be nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Charlie is blue.
True
1
proof
[(triple7)]
("Charlie" "is" "blue" "+")
triple7
Fred is not cold.
False
1
inv-proof
[(triple9)]
("Fred" "is" "cold" "-")
triple9
Alan is green.
True
4
proof
[(((triple6 triple3 triple4) -> rule6))]
("Alan" "is" "green" "+")
((triple6 triple3 triple4) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
4
inv-proof
[(((triple6 triple3 triple4) -> rule6))]
("Alan" "is" "green" "-")
((triple6 triple3 triple4) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
True
7
proof
[(((triple5 ((triple6 triple3 triple4) -> rule6) triple1) -> rule5))]
("Alan" "is" "rough" "+")
((triple5 ((triple6 triple3 triple4) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not rough.
False
7
inv-proof
[(((triple5 ((triple6 triple3 triple4) -> rule6) triple1) -> rule5))]
("Alan" "is" "rough" "-")
((triple5 ((triple6 triple3 triple4) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
True
9
proof
[(((triple1 ((triple5 ((triple6 triple3 triple4) -> rule6) triple1) -> rule5)) -> rule7))]
("Alan" "is" "nice" "+")
((triple1 ((triple5 ((triple6 triple3 triple4) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule7 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not nice.
False
9
inv-proof
[(((triple1 ((triple5 ((triple6 triple3 triple4) -> rule6) triple1) -> rule5)) -> rule7))]
("Alan" "is" "nice" "-")
((triple1 ((triple5 ((triple6 triple3 triple4) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule7 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fred" "is" "kind" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple7)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is nice.[(triple8)] @1: Alan is green.[(((triple6 triple3 triple4) -> rule6))] @2: Alan is rough.[(((triple5 ((triple6 triple3 triple4) -> rule6) triple1) -> rule5))] @3: Alan is nice.[(((triple1 ((triple5 ((triple6 triple3 triple4) -> rule6) triple1) -> rule5)) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Alan is green.
("Alan" "is" "green" "+")
((triple6 triple3 triple4) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple5 ((triple6 triple3 triple4) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 ((triple5 ((triple6 triple3 triple4) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule7 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is a young guy who is also round, red, kind, cold and blue.
Charlie wears all blue.
As much as Fred is nice, he is also cold and often feels blue.
A blue colored, nice but rough person is definitely young too.
Big and cold people are likely to be round, too.
If smeone has a blue and green color, then they are young and probably kind.
Find someone big, blue, and kind, and you'll see they are also quite young.
A young, green person who is cold is rough around the edges.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Whenever you see Pete you run into a young man rough, which means he will be nice.