Alan is sometimes cold and blue, but he can also be kind and big. Dave grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Eric is big and rough looking but is very nice and kind. Red Gary is what folks call him, because he is quite red. Someone who is cold, big, and rough is always green, as a rule. Round people who feel rough also always feel cold,. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. A quite nice person will certainly be red. Big people are also round people. A person being big and rough makes them cold towards others but that also means that they are kind.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Eric is nice.
True
1
proof
[(triple8 OR ((((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1) triple10) -> rule3))]
("Eric" "is" "nice" "+")
triple8
((((((((triple10) -> (rule5 % int4)) triple7) -> (rule2 % int3)) triple10 triple7) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Alan is not big.
False
1
inv-proof
[(triple4)]
("Alan" "is" "big" "-")
triple4
Eric is round.
True
2
proof
[(((triple10) -> rule5))]
("Eric" "is" "round" "+")
((triple10) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple8) -> rule4) OR ((((((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4))]
("Eric" "is" "red" "-")
((triple8) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
((((((((((triple10) -> (rule5 % int5)) triple7) -> (rule2 % int4)) triple10 triple7) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is cold.
True
4
proof
[(((((triple10) -> rule5) triple7) -> rule2))]
("Eric" "is" "cold" "+")
((((triple10) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not cold.
False
4
inv-proof
[(((((triple10) -> rule5) triple7) -> rule2))]
("Eric" "is" "cold" "-")
((((triple10) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
True
7
proof
[(((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1))]
("Eric" "is" "green" "+")
((((((triple10) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple10 triple7) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not green.
False
7
inv-proof
[(((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1))]
("Eric" "is" "green" "-")
((((((triple10) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple10 triple7) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "+")
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "kind" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is kind.[(triple1)] Dave is blue.[(triple6)] Dave is rough.[(triple5)] Eric is big.[(triple10)] Eric is kind.[(triple9 OR ((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule6))] Eric is nice.[(triple8 OR ((((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1) triple10) -> rule3))] Eric is rough.[(triple7)] Gary is red.[(triple11)] @1: Alan is round.[(((triple4) -> rule5))] Eric is red.[(((triple8) -> rule4) OR ((((((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4))] Eric is round.[(((triple10) -> rule5))] @2: Eric is cold.[(((((triple10) -> rule5) triple7) -> rule2))] @3: Eric is green.[(((((((triple10) -> rule5) triple7) -> rule2) triple10 triple7) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
((((((triple10) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple10 triple7) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
triple8
((((((((triple10) -> (rule5 % int4)) triple7) -> (rule2 % int3)) triple10 triple7) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple11
Alan is round.
("Alan" "is" "round" "+")
((triple4) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple8) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
((((((((((triple10) -> (rule5 % int5)) triple7) -> (rule2 % int4)) triple10 triple7) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is round.
("Eric" "is" "round" "+")
((triple10) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((((triple10) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((((triple10) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple10 triple7) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is sometimes cold and blue, but he can also be kind and big.
Dave grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Eric is big and rough looking but is very nice and kind.
Red Gary is what folks call him, because he is quite red.
Someone who is cold, big, and rough is always green, as a rule.
Round people who feel rough also always feel cold,.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
A quite nice person will certainly be red.
Big people are also round people.
A person being big and rough makes them cold towards others but that also means that they are kind.