Charlie looks red to most people, with blue features. Dave is big and red, but he's young and will grow out of it. Eric is someone you could describe as young, round, cold, and blue. Fred is blue and cold. When you meet someone round, blue and nice they are as a rule rough. If people are cold they are often red. A person that is blue green and nice are that way because they are still young. Green people will be nice even when they have been rough. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A big, young human being is sure to also be a green human being.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Fred is blue.
True
1
proof
[(triple11)]
("Fred" "is" "blue" "+")
triple11
Eric is not cold.
False
1
inv-proof
[(triple8)]
("Eric" "is" "cold" "-")
triple8
Fred is red.
True
2
proof
[(((triple10) -> rule2))]
("Fred" "is" "red" "+")
((triple10) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple5 triple3) -> rule6))]
("Dave" "is" "green" "-")
((triple5 triple3) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Eric is nice.
True
5
proof
[(((triple9 ((triple8) -> rule2) triple7) -> rule5))]
("Eric" "is" "nice" "+")
((triple9 ((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((triple9 ((triple8) -> rule2) triple7) -> rule5))]
("Eric" "is" "nice" "-")
((triple9 ((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
True
8
proof
[(((triple9 ((triple9 ((triple8) -> rule2) triple7) -> rule5) triple7) -> rule1))]
("Eric" "is" "rough" "+")
((triple9 ((triple9 ((triple8) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not rough.
False
8
inv-proof
[(((triple9 ((triple9 ((triple8) -> rule2) triple7) -> rule5) triple7) -> rule1))]
("Eric" "is" "rough" "-")
((triple9 ((triple9 ((triple8) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Charlie" "is" "young" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is blue.[(triple2)] Charlie is red.[(triple1)] Dave is big.[(triple5)] Dave is red.[(triple4)] Dave is young.[(triple3)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] @1: Dave is green.[(((triple5 triple3) -> rule6))] Eric is red.[(((triple8) -> rule2))] Fred is red.[(((triple10) -> rule2))] @2: Eric is nice.[(((triple9 ((triple8) -> rule2) triple7) -> rule5))] @3: Eric is rough.[(((triple9 ((triple9 ((triple8) -> rule2) triple7) -> rule5) triple7) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple3) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple8) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple10) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple9 ((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple9 ((triple9 ((triple8) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Charlie looks red to most people, with blue features.
Dave is big and red, but he's young and will grow out of it.
Eric is someone you could describe as young, round, cold, and blue.
Fred is blue and cold.
When you meet someone round, blue and nice they are as a rule rough.
If people are cold they are often red.
A person that is blue green and nice are that way because they are still young.
Green people will be nice even when they have been rough.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
A big, young human being is sure to also be a green human being.