Alan's a round guy, and a red and green guy. Eric is still young which means he can be rough and cold. He is a big boy with red hair. From a certain angle Harry is blue but he is young so maybe that will go away. If someone is cold and young, you'll see that they are kind. A kind red person is also a blue person. Anybody with big, rough and nice qualities is bound to also be young. Young people with red, flushed cheeks who are rough around the edges are really quite nice. People who are red and green are also nice. Some kind person that is round a blue will get embarrassed and turn red. A big, blue and cold person will also be a round person.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Eric is cold.
True
1
proof
[(triple7)]
("Eric" "is" "cold" "+")
triple7
Alan is not green.
False
1
inv-proof
[(triple3)]
("Alan" "is" "green" "-")
triple3
Alan is nice.
True
3
proof
[(((triple3 triple2) -> rule5))]
("Alan" "is" "nice" "+")
((triple3 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("Alan" "is" "nice" "-")
((triple3 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Eric is blue.
True
5
proof
[(((((triple7 triple4) -> rule1) triple6) -> rule2))]
("Eric" "is" "blue" "+")
((((triple7 triple4) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((((triple7 triple4) -> rule1) triple6) -> rule2))]
("Eric" "is" "blue" "-")
((((triple7 triple4) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
True
8
proof
[(((triple8 triple7 ((((triple7 triple4) -> rule1) triple6) -> rule2)) -> rule7))]
("Eric" "is" "round" "+")
((triple8 triple7 ((((triple7 triple4) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not round.
False
8
inv-proof
[(((triple8 triple7 ((((triple7 triple4) -> rule1) triple6) -> rule2)) -> rule7))]
("Eric" "is" "round" "-")
((triple8 triple7 ((((triple7 triple4) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "round" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Eric is big.[(triple8)] Eric is cold.[(triple7)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] Harry is blue.[(triple10)] Harry is young.[(triple9)] @1: Alan is nice.[(((triple3 triple2) -> rule5))] Eric is kind.[(((triple7 triple4) -> rule1))] Eric is nice.[(((triple6 triple4 triple5) -> rule4))] @2: Eric is blue.[(((((triple7 triple4) -> rule1) triple6) -> rule2))] @3: Eric is round.[(((triple8 triple7 ((((triple7 triple4) -> rule1) triple6) -> rule2)) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple7 triple4) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple6 triple4 triple5) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple7 triple4) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple8 triple7 ((((triple7 triple4) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Alan's a round guy, and a red and green guy.
Eric is still young which means he can be rough and cold; He is a big boy with red hair.
From a certain angle Harry is blue but he is young so maybe that will go away.
If someone is cold and young, you'll see that they are kind.
A kind red person is also a blue person.
Anybody with big, rough and nice qualities is bound to also be young.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
People who are red and green are also nice.
Some kind person that is round a blue will get embarrassed and turn red.
A big, blue and cold person will also be a round person.