Alan wears all blue. Young Charlie got into a fight that left him with red sores on his face. Dave is generally considered to be a round guy. People consider him kind, although a bit on the cold side. He's also both green and blue. Harry fits the description of someone who is rough, red and blue. If a kind person is also young and round shaped, they will be colored blue. Big and cold people are likely to be round, too. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. When you meet a young, red person, you'll learn they are also nice. Whenever you see Pete you run into a young man rough, which means he will be nice. When you meet someone who is round, red and green, they will also be young. Kind young people are also red and green.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and red then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Dave is kind.
True
1
proof
[(triple5)]
("Dave" "is" "kind" "+")
triple5
Alan is not blue.
False
1
inv-proof
[(triple1)]
("Alan" "is" "blue" "-")
triple1
Dave is red.
True
4
proof
[(((triple6 triple5 triple8) -> rule3))]
("Dave" "is" "red" "+")
((triple6 triple5 triple8) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple6 triple5 triple8) -> rule3))]
("Dave" "is" "red" "-")
((triple6 triple5 triple8) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
True
7
proof
[(((triple6 ((triple6 triple5 triple8) -> rule3) triple4) -> rule6))]
("Dave" "is" "young" "+")
((triple6 ((triple6 triple5 triple8) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not young.
False
7
inv-proof
[(((triple6 ((triple6 triple5 triple8) -> rule3) triple4) -> rule6))]
("Dave" "is" "young" "-")
((triple6 ((triple6 triple5 triple8) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
True
12
proof
[(((((triple6 ((triple6 triple5 triple8) -> rule3) triple4) -> rule6) ((triple6 triple5 triple8) -> rule3)) -> rule4))]
("Dave" "is" "nice" "+")
((((triple6 ((triple6 triple5 triple8) -> (rule3 % int3)) triple4) -> (rule6 % int2)) ((triple6 triple5 triple8) -> (rule3 % int3))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not nice.
False
12
inv-proof
[(((((triple6 ((triple6 triple5 triple8) -> rule3) triple4) -> rule6) ((triple6 triple5 triple8) -> rule3)) -> rule4))]
("Dave" "is" "nice" "-")
((((triple6 ((triple6 triple5 triple8) -> (rule3 % int3)) triple4) -> (rule6 % int2)) ((triple6 triple5 triple8) -> (rule3 % int3))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Harry" "is" "young" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is blue.[(triple1)] Charlie is red.[(triple3)] Charlie is young.[(triple2)] Dave is blue.[(triple8)] Dave is cold.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is round.[(triple4)] Harry is blue.[(triple11)] Harry is red.[(triple10)] Harry is rough.[(triple9)] @1: Charlie is nice.[(((triple2 triple3) -> rule4))] Dave is red.[(((triple6 triple5 triple8) -> rule3))] @2: Dave is young.[(((triple6 ((triple6 triple5 triple8) -> rule3) triple4) -> rule6))] @3: Dave is nice.[(((((triple6 ((triple6 triple5 triple8) -> rule3) triple4) -> rule6) ((triple6 triple5 triple8) -> rule3)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple6 triple5 triple8) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple6 ((triple6 triple5 triple8) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple6 ((triple6 triple5 triple8) -> (rule3 % int3)) triple4) -> (rule6 % int2)) ((triple6 triple5 triple8) -> (rule3 % int3))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Alan wears all blue.
Young Charlie got into a fight that left him with red sores on his face.
Dave is generally considered to be a round guy; People consider him kind, although a bit on the cold side; He's also both green and blue.
Harry fits the description of someone who is rough, red and blue.
If a kind person is also young and round shaped, they will be colored blue.
Big and cold people are likely to be round, too.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
When you meet a young, red person, you'll learn they are also nice.
Whenever you see Pete you run into a young man rough, which means he will be nice.
When you meet someone who is round, red and green, they will also be young.
Kind young people are also red and green.