Alan is blue from ink he spilled on himself while being kind and helping some children paint. Dave wears all blue. The cold, nice, kind man with a round body is known as Eric. Gary is rough and green, but he's also nice, kind and round. A kind, round person will surely be red as well. Despite being kind cold people with red ears will still be big. If smeone has a blue and green color, then they are young and probably kind. People,though rough and red,tend to be cold too. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Young cold individuals are usualyy rough. Green people who are kind with rosy red skin are round.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Gary is nice.
True
1
proof
[(triple10)]
("Gary" "is" "nice" "+")
triple10
Eric is not round.
False
1
inv-proof
[(triple4)]
("Eric" "is" "round" "-")
triple4
Eric is red.
True
3
proof
[(((triple6 triple4) -> rule1))]
("Eric" "is" "red" "+")
((triple6 triple4) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple11 triple8) -> rule1))]
("Gary" "is" "red" "-")
((triple11 triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
True
5
proof
[(((triple9 ((triple11 triple8) -> rule1)) -> rule4))]
("Gary" "is" "cold" "+")
((triple9 ((triple11 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((triple9 ((triple11 triple8) -> rule1)) -> rule4))]
("Gary" "is" "cold" "-")
((triple9 ((triple11 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
True
10
proof
[(((((triple9 ((triple11 triple8) -> rule1)) -> rule4) ((triple11 triple8) -> rule1) triple11) -> rule2))]
("Gary" "is" "big" "+")
((((triple9 ((triple11 triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple11 triple8) -> (rule1 % int3)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not big.
False
10
inv-proof
[(((((triple9 ((triple11 triple8) -> rule1)) -> rule4) ((triple11 triple8) -> rule1) triple11) -> rule2))]
("Gary" "is" "big" "-")
((((triple9 ((triple11 triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple11 triple8) -> (rule1 % int3)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Alan" "is" "red" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is big.
Unknown
rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Alan is blue.[(triple2)] Alan is kind.[(triple1)] Dave is blue.[(triple3)] Eric is cold.[(triple7)] Eric is kind.[(triple6)] Eric is nice.[(triple5)] Eric is round.[(triple4)] Gary is green.[(triple12)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Eric is red.[(((triple6 triple4) -> rule1))] Gary is red.[(((triple11 triple8) -> rule1))] @2: Eric is big.[(((triple7 ((triple6 triple4) -> rule1) triple6) -> rule2))] Gary is cold.[(((triple9 ((triple11 triple8) -> rule1)) -> rule4))] @3: Gary is big.[(((((triple9 ((triple11 triple8) -> rule1)) -> rule4) ((triple11 triple8) -> rule1) triple11) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
((triple6 triple4) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple11 triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple7 ((triple6 triple4) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 ((triple11 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple9 ((triple11 triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple11 triple8) -> (rule1 % int3)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Alan is blue from ink he spilled on himself while being kind and helping some children paint.
Dave wears all blue.
The cold, nice, kind man with a round body is known as Eric.
Gary is rough and green, but he's also nice, kind and round.
A kind, round person will surely be red as well.
Despite being kind cold people with red ears will still be big.
If smeone has a blue and green color, then they are young and probably kind.
People,though rough and red,tend to be cold too.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
Young cold individuals are usualyy rough.
Green people who are kind with rosy red skin are round.