Alan has a round face and is very nice. Dave is big and dresses in blue. One day Gary, a very nice old man with green ears, asked if I was as cold a block of ice. I said no but that I had heard that round people like him are cold blooded. That guy Harry is big, but he's always kind to little ones. Nice blue people are often rough. As far as anyone can tell, whoever is kind, rough, and big is a round person. If red and slightly green people are asked, they will tell you they feel blue. Being kind and young means that if they are also blue, they are always red. There are so many rough, young people and for some reason they are all big too. If a person has round shape then they are also green and red.
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple8)]
("Gary" "is" "cold" "-")
triple8
Gary is red.
True
3
proof
[(((triple7 triple5) -> rule6))]
("Gary" "is" "red" "+")
((triple7 triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple7 triple5) -> rule6))]
("Gary" "is" "red" "-")
((triple7 triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
True
5
proof
[(((triple7 ((triple7 triple5) -> rule6)) -> rule3))]
("Gary" "is" "blue" "+")
((triple7 ((triple7 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((triple7 ((triple7 triple5) -> rule6)) -> rule3))]
("Gary" "is" "blue" "-")
((triple7 ((triple7 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
True
7
proof
[(((triple6 ((triple7 ((triple7 triple5) -> rule6)) -> rule3)) -> rule1))]
("Gary" "is" "rough" "+")
((triple6 ((triple7 ((triple7 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not rough.
False
7
inv-proof
[(((triple6 ((triple7 ((triple7 triple5) -> rule6)) -> rule3)) -> rule1))]
("Gary" "is" "rough" "-")
((triple6 ((triple7 ((triple7 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Dave is big.[(triple4)] Dave is blue.[(triple3)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Gary is round.[(triple5)] Harry is big.[(triple10)] Harry is kind.[(triple9)] @1: Gary is red.[(((triple7 triple5) -> rule6))] @2: Gary is blue.[(((triple7 ((triple7 triple5) -> rule6)) -> rule3))] @3: Gary is rough.[(((triple6 ((triple7 ((triple7 triple5) -> rule6)) -> rule3)) -> rule1))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
((triple7 triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 ((triple7 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 ((triple7 ((triple7 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Alan has a round face and is very nice.
Dave is big and dresses in blue.
One day Gary, a very nice old man with green ears, asked if I was as cold a block of ice; I said no but that I had heard that round people like him are cold blooded.
That guy Harry is big, but he's always kind to little ones.
Nice blue people are often rough.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
If red and slightly green people are asked, they will tell you they feel blue.
Being kind and young means that if they are also blue, they are always red.
There are so many rough, young people and for some reason they are all big too.
If a person has round shape then they are also green and red.