Alan is very nice to people, but he's also rather big. Charlie was born only a few years ago so he is young. Eric is green and young, but he is also kind. He has blue eyes and red hair. Gary's a round guy, and a red and green guy. A green and red colored person who is rather nice will definitely be kind. Kind, young, green persons are sure to be rough persons, too. A young, red person will certainly be cold. Young people with red, flushed cheeks who are rough around the edges are really quite nice. A big and blue colored person is also certainly very kind. A nice red person that is cold is always big, I have found.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
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 blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Gary is round.
True
1
proof
[(triple9)]
("Gary" "is" "round" "+")
triple9
Eric is not kind.
False
1
inv-proof
[(triple6)]
("Eric" "is" "kind" "-")
triple6
Eric is rough.
True
4
proof
[(((triple6 triple4 triple7) -> rule2))]
("Eric" "is" "rough" "+")
((triple6 triple4 triple7) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
4
inv-proof
[(((triple6 triple4 triple7) -> rule2))]
("Eric" "is" "rough" "-")
((triple6 triple4 triple7) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
True
7
proof
[(((triple5 triple4 ((triple6 triple4 triple7) -> rule2)) -> rule4))]
("Eric" "is" "nice" "+")
((triple5 triple4 ((triple6 triple4 triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not nice.
False
7
inv-proof
[(((triple5 triple4 ((triple6 triple4 triple7) -> rule2)) -> rule4))]
("Eric" "is" "nice" "-")
((triple5 triple4 ((triple6 triple4 triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
True
12
proof
[(((triple5 ((triple5 triple4 ((triple6 triple4 triple7) -> rule2)) -> rule4) ((triple5 triple4) -> rule3)) -> rule6))]
("Eric" "is" "big" "+")
((triple5 ((triple5 triple4 ((triple6 triple4 triple7) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is not big.
False
12
inv-proof
[(((triple5 ((triple5 triple4 ((triple6 triple4 triple7) -> rule2)) -> rule4) ((triple5 triple4) -> rule3)) -> rule6))]
("Eric" "is" "big" "-")
((triple5 ((triple5 triple4 ((triple6 triple4 triple7) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Charlie is young.[(triple3)] Eric is blue.[(triple8)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Eric is young.[(triple4)] Gary is green.[(triple11)] Gary is red.[(triple10)] Gary is round.[(triple9)] @1: Eric is cold.[(((triple5 triple4) -> rule3))] Eric is rough.[(((triple6 triple4 triple7) -> rule2))] @2: Eric is nice.[(((triple5 triple4 ((triple6 triple4 triple7) -> rule2)) -> rule4))] @3: Eric is big.[(((triple5 ((triple5 triple4 ((triple6 triple4 triple7) -> rule2)) -> rule4) ((triple5 triple4) -> rule3)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
((triple5 triple4) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple6 triple4 triple7) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 triple4 ((triple6 triple4 triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple5 ((triple5 triple4 ((triple6 triple4 triple7) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Alan is very nice to people, but he's also rather big.
Charlie was born only a few years ago so he is young.
Eric is green and young, but he is also kind; He has blue eyes and red hair.
Gary's a round guy, and a red and green guy.
A green and red colored person who is rather nice will definitely be kind.
Kind, young, green persons are sure to be rough persons, too.
A young, red person will certainly be cold.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
A big and blue colored person is also certainly very kind.
A nice red person that is cold is always big, I have found.