Alan's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Others enjoy Charlie's company because he is so nice and kind. That guy Gary is big, but he's always kind to little ones. Red Harry is what folks call him, because he is quite red. Surprisingly, all the kind, green people were also big. Look for the blue and green people, they are kind and will give you directions if you're lost. Someone who is not only rough and big but also nice will necessarily be round as well. Young people who are cold and painted red are usually big and part of the football team. Unfortunately, all the young people who are considered green are all round. Green people who are nice are rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and red and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Harry is red.
True
1
proof
[(triple8)]
("Harry" "is" "red" "+")
triple8
Gary is not big.
False
1
inv-proof
[(triple7)]
("Gary" "is" "big" "-")
triple7
Alan is kind.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Alan" "is" "kind" "+")
((triple3 triple2) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Alan" "is" "kind" "-")
((triple3 triple2) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
True
5
proof
[(((((triple3 triple2) -> rule2) triple2) -> rule1))]
("Alan" "is" "big" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not big.
False
5
inv-proof
[(((((triple3 triple2) -> rule2) triple2) -> rule1))]
("Alan" "is" "big" "-")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
True
10
proof
[(((((triple1 triple2) -> rule6) ((((triple3 triple2) -> rule2) triple2) -> rule1) triple1) -> rule3))]
("Alan" "is" "round" "+")
((((triple1 triple2) -> (rule6 % int4)) ((((triple3 triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is not round.
False
10
inv-proof
[(((((triple1 triple2) -> rule6) ((((triple3 triple2) -> rule2) triple2) -> rule1) triple1) -> rule3))]
("Alan" "is" "round" "-")
((((triple1 triple2) -> (rule6 % int4)) ((((triple3 triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "rough" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is nice.[(triple1)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Gary is big.[(triple7)] Gary is kind.[(triple6)] Harry is red.[(triple8)] @1: Alan is kind.[(((triple3 triple2) -> rule2))] Alan is rough.[(((triple1 triple2) -> rule6))] @2: Alan is big.[(((((triple3 triple2) -> rule2) triple2) -> rule1))] @3: Alan is round.[(((((triple1 triple2) -> rule6) ((((triple3 triple2) -> rule2) triple2) -> rule1) triple1) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple8
Alan is kind.
("Alan" "is" "kind" "+")
((triple3 triple2) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((triple1 triple2) -> (rule6 % int4)) ((((triple3 triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Others enjoy Charlie's company because he is so nice and kind.
That guy Gary is big, but he's always kind to little ones.
Red Harry is what folks call him, because he is quite red.
Surprisingly, all the kind, green people were also big.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Someone who is not only rough and big but also nice will necessarily be round as well.
Young people who are cold and painted red are usually big and part of the football team.
Unfortunately, all the young people who are considered green are all round.
Green people who are nice are rough.