Young Alan is so nice even though he always feels cold.  He loves to wear blue and green clothes. Eric figured he wasn't just young and round. He was rough and red, and he was as green as he was big. Gary ate some rotten meat and now feels green. A big person who looks blue is also going to look young. A young round person who is green is also red. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. Kind people who are nice find that they must also be rough. Invariably, any young person whose skin appears rough and green is bound to be quite big.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Alan is cold.
True
1
proof
[(triple4)]
("Alan" "is" "cold" "+")
triple4
Alan is not nice.
False
1
inv-proof
[(triple2)]
("Alan" "is" "nice" "-")
triple2
Alan is kind.
True
4
proof
[(((triple3 triple4 triple1) -> rule3))]
("Alan" "is" "kind" "+")
((triple3 triple4 triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
4
inv-proof
[(((triple3 triple4 triple1) -> rule3))]
("Alan" "is" "kind" "-")
((triple3 triple4 triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
True
6
proof
[(((((triple3 triple4 triple1) -> rule3) triple2) -> rule4))]
("Alan" "is" "rough" "+")
((((triple3 triple4 triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not rough.
False
6
inv-proof
[(((((triple3 triple4 triple1) -> rule3) triple2) -> rule4))]
("Alan" "is" "rough" "-")
((((triple3 triple4 triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
True
9
proof
[(((triple1 triple3 ((((triple3 triple4 triple1) -> rule3) triple2) -> rule4)) -> rule5))]
("Alan" "is" "big" "+")
((triple1 triple3 ((((triple3 triple4 triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not big.
False
9
inv-proof
[(((triple1 triple3 ((((triple3 triple4 triple1) -> rule3) triple2) -> rule4)) -> rule5))]
("Alan" "is" "big" "-")
((triple1 triple3 ((((triple3 triple4 triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Alan is blue.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple11 OR ((triple6 triple10 triple8) -> rule5))] Eric is green.[(triple10)] Eric is red.[(triple9 OR ((triple6 triple7 triple10) -> rule2))] Eric is rough.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Gary is green.[(triple12)] @1: Alan is kind.[(((triple3 triple4 triple1) -> rule3))] @2: Alan is rough.[(((((triple3 triple4 triple1) -> rule3) triple2) -> rule4))] @3: Alan is big.[(((triple1 triple3 ((((triple3 triple4 triple1) -> rule3) triple2) -> rule4)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple11
((triple6 triple10 triple8) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
((triple6 triple7 triple10) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple12
Alan is kind.
("Alan" "is" "kind" "+")
((triple3 triple4 triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((((triple3 triple4 triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((triple1 triple3 ((((triple3 triple4 triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Young Alan is so nice even though he always feels cold; He loves to wear blue and green clothes.
Eric figured he wasn't just young and round; He was rough and red, and he was as green as he was big.
Gary ate some rotten meat and now feels green.
A big person who looks blue is also going to look young.
A young round person who is green is also red.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
Kind people who are nice find that they must also be rough.
Invariably, any young person whose skin appears rough and green is bound to be quite big.