They always call him rough Alan. That rough but kind guy is Charlie, the green one. Eric is young and round, he is also green. Gary 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. Whoever is rough and red must be kind. Get out of the way if a red and green person walks up to you because they are rough. Kind and blue people,though young,tend to be big. A kind person who is green is usually round. A rather round and green person will be red.
Alan is rough.
("Alan" "is" "rough" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Charlie is not kind.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "kind" "-")
triple3
Charlie is round.
True
3
proof
[(((triple3 triple4) -> rule4))]
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple6 triple7) -> rule5))]
("Eric" "is" "red" "-")
((triple6 triple7) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Charlie is red.
True
5
proof
[(((((triple3 triple4) -> rule4) triple4) -> rule5))]
("Charlie" "is" "red" "+")
((((triple3 triple4) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Eric is not rough.
False
5
inv-proof
[(((((triple6 triple7) -> rule5) triple7) -> rule2))]
("Eric" "is" "rough" "-")
((((triple6 triple7) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
True
9
proof
[(((((((triple6 triple7) -> rule5) triple7) -> rule2) ((triple6 triple7) -> rule5)) -> rule1))]
("Eric" "is" "kind" "+")
((((((triple6 triple7) -> (rule5 % int3)) triple7) -> (rule2 % int2)) ((triple6 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not kind.
False
9
inv-proof
[(((((((triple6 triple7) -> rule5) triple7) -> rule2) ((triple6 triple7) -> rule5)) -> rule1))]
("Eric" "is" "kind" "-")
((((((triple6 triple7) -> (rule5 % int3)) triple7) -> (rule2 % int2)) ((triple6 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is rough.[(triple1)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is rough.[(triple2 OR ((((((triple3 triple4) -> rule4) triple4) -> rule5) triple4) -> rule2))] Eric is green.[(triple7)] Eric is round.[(triple6)] Eric is young.[(triple5)] Gary is blue.[(triple9)] Gary is rough.[(triple8)] @1: Charlie is round.[(((triple3 triple4) -> rule4))] Eric is red.[(((triple6 triple7) -> rule5))] @2: Charlie is red.[(((((triple3 triple4) -> rule4) triple4) -> rule5))] Eric is rough.[(((((triple6 triple7) -> rule5) triple7) -> rule2))] @3: Eric is kind.[(((((((triple6 triple7) -> rule5) triple7) -> rule2) ((triple6 triple7) -> rule5)) -> rule1))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
((((((triple3 triple4) -> (rule4 % int3)) triple4) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple6 triple7) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple3 triple4) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple6 triple7) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((((triple6 triple7) -> (rule5 % int3)) triple7) -> (rule2 % int2)) ((triple6 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
They always call him rough Alan.
That rough but kind guy is Charlie, the green one.
Eric is young and round, he is also green.
Gary 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.
Whoever is rough and red must be kind.
Get out of the way if a red and green person walks up to you because they are rough.
Kind and blue people,though young,tend to be big.
A kind person who is green is usually round.
A rather round and green person will be red.