They always call him rough Alan. Charlie, who is round, red, kind, and also green, tends to be rather blue. Eric is big and round man that is looking rather green after seeing some bad mayonnaise. Harry ate some rotten meat and now feels green. When anyone can be described as nice, young and big, they can also be described as red. Fat, round people who are green with envy and notoriously rough. A quite nice person who is red and green is also big. Big, rough people sometimes are also green and when they are they must be cold. When someone feels cold, while being big and rough, they always turn out to be red. Big people are also round people. A person who is round and nice is cold.
Alan is rough.
("Alan" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is nice and big and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Charlie is round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "+")
triple2
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Eric is rough.
True
3
proof
[(((triple8 triple7) -> rule2) OR ((triple8 ((triple9) -> rule6)) -> rule2))]
("Eric" "is" "rough" "+")
((triple8 triple7) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
((triple8 ((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not rough.
False
3
inv-proof
[(((triple8 triple7) -> rule2) OR ((triple8 ((triple9) -> rule6)) -> rule2))]
("Eric" "is" "rough" "-")
((triple8 triple7) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
((triple8 ((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
True
6
proof
[(((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) OR ((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4))]
("Eric" "is" "cold" "+")
((((triple8 triple7) -> (rule2 % int2)) triple9 triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
((((triple8 ((triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple9 triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not cold.
False
6
inv-proof
[(((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) OR ((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4))]
("Eric" "is" "cold" "-")
((((triple8 triple7) -> (rule2 % int2)) triple9 triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
((((triple8 ((triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple9 triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is red.
True
11
proof
[(((((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 ((triple9) -> rule6)) -> rule2)) -> rule5) OR ((((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 ((triple9) -> rule6)) -> rule2)) -> rule5))]
("Eric" "is" "red" "+")
((((((triple8 triple7) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
((((((triple8 triple7) -> (rule2 % int4)) triple9 triple8) -> (rule4 % int3)) triple9 ((triple8 ((triple9) -> (rule6 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
((((((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is not red.
False
11
inv-proof
[(((((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 ((triple9) -> rule6)) -> rule2)) -> rule5) OR ((((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 ((triple9) -> rule6)) -> rule2)) -> rule5))]
("Eric" "is" "red" "-")
((((((triple8 triple7) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
((((((triple8 triple7) -> (rule2 % int4)) triple9 triple8) -> (rule4 % int3)) triple9 ((triple8 ((triple9) -> (rule6 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
((((((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Harry is not rough.
Unknown
inv-rconc
[@3: Harry is rough.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is round.
Unknown
rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not cold.
Unknown
inv-rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Alan is round.
Unknown
rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Alan" "is" "round" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is rough.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2)] Eric is big.[(triple9)] Eric is green.[(triple8)] Eric is round.[(triple7 OR ((triple9) -> rule6))] Harry is green.[(triple10)] @1: Charlie is rough.[(((triple5 triple2) -> rule2))] Eric is rough.[(((triple8 triple7) -> rule2) OR ((triple8 ((triple9) -> rule6)) -> rule2))] @2: Eric is cold.[(((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) OR ((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4))] @3: Eric is red.[(((((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple8 triple7) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 ((triple9) -> rule6)) -> rule2)) -> rule5) OR ((((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 triple7) -> rule2)) -> rule5) OR ((((((triple8 ((triple9) -> rule6)) -> rule2) triple9 triple8) -> rule4) triple9 ((triple8 ((triple9) -> rule6)) -> rule2)) -> rule5))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
((triple9) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple8 triple7) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
((triple8 ((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple8 triple7) -> (rule2 % int2)) triple9 triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
((((triple8 ((triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple9 triple8) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
((((((triple8 triple7) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
((((((triple8 triple7) -> (rule2 % int4)) triple9 triple8) -> (rule4 % int3)) triple9 ((triple8 ((triple9) -> (rule6 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
((((((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple9 triple8) -> (rule4 % int2)) triple9 ((triple8 ((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
They always call him rough Alan.
Charlie, who is round, red, kind, and also green, tends to be rather blue.
Eric is big and round man that is looking rather green after seeing some bad mayonnaise.
Harry ate some rotten meat and now feels green.
When anyone can be described as nice, young and big, they can also be described as red.
Fat, round people who are green with envy and notoriously rough.
A quite nice person who is red and green is also big.
Big, rough people sometimes are also green and when they are they must be cold.
When someone feels cold, while being big and rough, they always turn out to be red.
Big people are also round people.
A person who is round and nice is cold.