Alan is nice, even when he is rough and red with anger. To the touch Dave has rough, cold skin. Eric is nice, even when he is rough and red with anger. Nice, but round, Gary has been said to be cold. People that tend to be big and green also tend to be cold. A big round person is nice. A green and blue colored person who is young will certainly be big. Nice people that are colored red and green are always round. When you know someone who's red, rough and nice, you'll also see that they're cold. A person with the qualities of being cold and being red will also be a person that is green. An individual who is big and nice is also green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is green and red and nice then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Eric is rough.
True
1
proof
[(triple6)]
("Eric" "is" "rough" "+")
triple6
Eric is not red.
False
1
inv-proof
[(triple7)]
("Eric" "is" "red" "-")
triple7
Eric is cold.
True
4
proof
[(((triple8 triple7 triple6) -> rule5))]
("Eric" "is" "cold" "+")
((triple8 triple7 triple6) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Alan is not cold.
False
4
inv-proof
[(((triple3 triple2 triple1) -> rule5))]
("Alan" "is" "cold" "-")
((triple3 triple2 triple1) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Eric is green.
True
6
proof
[(((((triple8 triple7 triple6) -> rule5) triple7) -> rule6))]
("Eric" "is" "green" "+")
((((triple8 triple7 triple6) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Alan is not green.
False
6
inv-proof
[(((((triple3 triple2 triple1) -> rule5) triple2) -> rule6))]
("Alan" "is" "green" "-")
((((triple3 triple2 triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is round.
True
9
proof
[(((((((triple3 triple2 triple1) -> rule5) triple2) -> rule6) triple2 triple3) -> rule4))]
("Alan" "is" "round" "+")
((((((triple3 triple2 triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2)) triple2 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not round.
False
9
inv-proof
[(((((((triple3 triple2 triple1) -> rule5) triple2) -> rule6) triple2 triple3) -> rule4))]
("Alan" "is" "round" "-")
((((((triple3 triple2 triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2)) triple2 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is cold.[(triple5)] Dave is rough.[(triple4)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Gary is cold.[(triple11)] Gary is nice.[(triple10)] Gary is round.[(triple9)] @1: Alan is cold.[(((triple3 triple2 triple1) -> rule5))] Eric is cold.[(((triple8 triple7 triple6) -> rule5))] @2: Alan is green.[(((((triple3 triple2 triple1) -> rule5) triple2) -> rule6))] Eric is green.[(((((triple8 triple7 triple6) -> rule5) triple7) -> rule6))] @3: Alan is round.[(((((((triple3 triple2 triple1) -> rule5) triple2) -> rule6) triple2 triple3) -> rule4))] Eric is round.[(((((((triple8 triple7 triple6) -> rule5) triple7) -> rule6) triple7 triple8) -> rule4))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple2 triple1) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple8 triple7 triple6) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple3 triple2 triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple8 triple7 triple6) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((((triple3 triple2 triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2)) triple2 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((((((triple8 triple7 triple6) -> (rule5 % int3)) triple7) -> (rule6 % int2)) triple7 triple8) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Alan is nice, even when he is rough and red with anger.
To the touch Dave has rough, cold skin.
Eric is nice, even when he is rough and red with anger.
Nice, but round, Gary has been said to be cold.
People that tend to be big and green also tend to be cold.
A big round person is nice.
A green and blue colored person who is young will certainly be big.
Nice people that are colored red and green are always round.
When you know someone who's red, rough and nice, you'll also see that they're cold.
A person with the qualities of being cold and being red will also be a person that is green.
An individual who is big and nice is also green.