Alan is a person both green and big. Dave is very nice to people, but he's also rather big. Young Fred is red from staying in the sun too long.  Even though he is uncomfortable from feeling cold, he is still kind to others. Harry was born only a few years ago so he is young. Blue and red people are often rough. A person who is cold with a red nose will be feeling blue. Color anybody red and blue, then make them rough, and they will surely be round. If a person is young and very kind then they will be rather big. When a person is blue, cold, and nice, they are also pretty young too.
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Alan is big.
True
1
proof
[(triple2)]
("Alan" "is" "big" "+")
triple2
Alan is not big.
False
1
inv-proof
[(triple2)]
("Alan" "is" "big" "-")
triple2
Fred is blue.
True
3
proof
[(((triple8 triple6) -> rule2))]
("Fred" "is" "blue" "+")
((triple8 triple6) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple5 triple7) -> rule4))]
("Fred" "is" "big" "-")
((triple5 triple7) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
True
5
proof
[(((((triple8 triple6) -> rule2) triple6) -> rule1))]
("Fred" "is" "rough" "+")
((((triple8 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not rough.
False
5
inv-proof
[(((((triple8 triple6) -> rule2) triple6) -> rule1))]
("Fred" "is" "rough" "-")
((((triple8 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
True
10
proof
[(((((triple8 triple6) -> rule2) ((((triple8 triple6) -> rule2) triple6) -> rule1) triple6) -> rule3))]
("Fred" "is" "round" "+")
((((triple8 triple6) -> (rule2 % int3)) ((((triple8 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not round.
False
10
inv-proof
[(((((triple8 triple6) -> rule2) ((((triple8 triple6) -> rule2) triple6) -> rule1) triple6) -> rule3))]
("Fred" "is" "round" "-")
((((triple8 triple6) -> (rule2 % int3)) ((((triple8 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Dave is big.[(triple4)] Dave is nice.[(triple3)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Fred is young.[(triple5)] Harry is young.[(triple9)] @1: Fred is big.[(((triple5 triple7) -> rule4))] Fred is blue.[(((triple8 triple6) -> rule2))] @2: Fred is rough.[(((((triple8 triple6) -> rule2) triple6) -> rule1))] @3: Fred is round.[(((((triple8 triple6) -> rule2) ((((triple8 triple6) -> rule2) triple6) -> rule1) triple6) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is green.
("Alan" "is" "green" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple9
Fred is big.
("Fred" "is" "big" "+")
((triple5 triple7) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple8 triple6) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((((triple8 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple8 triple6) -> (rule2 % int3)) ((((triple8 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is a person both green and big.
Dave is very nice to people, but he's also rather big.
Young Fred is red from staying in the sun too long; Even though he is uncomfortable from feeling cold, he is still kind to others.
Harry was born only a few years ago so he is young.
Blue and red people are often rough.
A person who is cold with a red nose will be feeling blue.
Color anybody red and blue, then make them rough, and they will surely be round.
If a person is young and very kind then they will be rather big.
When a person is blue, cold, and nice, they are also pretty young too.