Charlie who is big in stature is almost always nice even when he is cold. Eric loves desserts which has made him quite round.  He's a nice guy and loves the outdoors.  Recently he went skiing and his skin turned blue int he cold.  He jumped in the hot tub and turned red as a beet. Fred always goes out of his way to show that he is kind to people. That guy Gary is big, but he's always kind to little ones. A green colored, nice and young person will be big shaped. Red people who are also kind often turn out to be cold from standing outdoors too long. Find a big human that is colored red and green and he will be amazingly kind. If someone is colored red but is cold, they tend to show a lot of green. If a person is red and green, then they will present as big. A person who is round and nice is cold.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Fred is not kind.
False
1
inv-proof
[(triple9)]
("Fred" "is" "kind" "-")
triple9
Eric is green.
True
3
proof
[(((triple5 triple7) -> rule4) OR ((triple5 ((triple6 triple4) -> rule6)) -> rule4))]
("Eric" "is" "green" "+")
((triple5 triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not green.
False
3
inv-proof
[(((triple5 triple7) -> rule4) OR ((triple5 ((triple6 triple4) -> rule6)) -> rule4))]
("Eric" "is" "green" "-")
((triple5 triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
True
5
proof
[(((triple5 ((triple5 triple7) -> rule4)) -> rule5) OR ((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5))]
("Eric" "is" "big" "+")
((triple5 ((triple5 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not big.
False
5
inv-proof
[(((triple5 ((triple5 triple7) -> rule4)) -> rule5) OR ((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5))]
("Eric" "is" "big" "-")
((triple5 ((triple5 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is kind.
True
10
proof
[(((((triple5 ((triple5 triple7) -> rule4)) -> rule5) triple5 ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple5 ((triple5 triple7) -> rule4)) -> rule5) triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule3) OR ((((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5) triple5 ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5) triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule3))]
("Eric" "is" "kind" "+")
((((triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((triple5 ((triple5 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple5 ((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is not kind.
False
10
inv-proof
[(((((triple5 ((triple5 triple7) -> rule4)) -> rule5) triple5 ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple5 ((triple5 triple7) -> rule4)) -> rule5) triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule3) OR ((((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5) triple5 ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5) triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule3))]
("Eric" "is" "kind" "-")
((((triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((triple5 ((triple5 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple5 ((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Charlie is big.[(triple3)] Charlie is cold.[(triple2)] Charlie is nice.[(triple1)] Eric is blue.[(triple8)] Eric is cold.[(triple7 OR ((triple6 triple4) -> rule6))] Eric is nice.[(triple6)] Eric is red.[(triple5)] Eric is round.[(triple4)] Fred is kind.[(triple9)] Gary is big.[(triple11)] Gary is kind.[(triple10)] @1: Eric is green.[(((triple5 triple7) -> rule4) OR ((triple5 ((triple6 triple4) -> rule6)) -> rule4))] @2: Eric is big.[(((triple5 ((triple5 triple7) -> rule4)) -> rule5) OR ((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5))] @3: Eric is kind.[(((((triple5 ((triple5 triple7) -> rule4)) -> rule5) triple5 ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple5 ((triple5 triple7) -> rule4)) -> rule5) triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule3) OR ((((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5) triple5 ((triple5 triple7) -> rule4)) -> rule3) OR ((((triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule5) triple5 ((triple5 ((triple6 triple4) -> rule6)) -> rule4)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
((triple6 triple4) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
((triple5 triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple5 ((triple5 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
((((triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((triple5 ((triple5 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple5 ((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((((triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple5 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Charlie who is big in stature is almost always nice even when he is cold.
Eric loves desserts which has made him quite round; He's a nice guy and loves the outdoors; Recently he went skiing and his skin turned blue int he cold; He jumped in the hot tub and turned red as a beet.
Fred always goes out of his way to show that he is kind to people.
That guy Gary is big, but he's always kind to little ones.
A green colored, nice and young person will be big shaped.
Red people who are also kind often turn out to be cold from standing outdoors too long.
Find a big human that is colored red and green and he will be amazingly kind.
If someone is colored red but is cold, they tend to show a lot of green.
If a person is red and green, then they will present as big.
A person who is round and nice is cold.