Charlie is still young which means he can be rough and cold. He is a big boy with red hair. Red Eric is what folks call him, because he is quite red. Fred always goes out of his way to show that he is kind to people. Harry, a green man, was also big, but underneath he was kind. Despite being too big with bright green skin and freezing cold, these people have always been kind. A kind and cold person who is green is, surprisingly, also blue. Among cold people, those who are round and kind are also rough. Young people tend to rough and nice, but they are also red. Young cold individuals are usualyy rough. I believe that red, cold, rough people are likely to be green.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("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 rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Harry is not big.
False
1
inv-proof
[(triple10)]
("Harry" "is" "big" "-")
triple10
Charlie is green.
True
4
proof
[(((triple2 triple3 triple4) -> rule6) OR ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6))]
("Charlie" "is" "green" "+")
((triple2 triple3 triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple1 triple4) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((triple2 triple3 triple4) -> rule6) OR ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6))]
("Charlie" "is" "green" "-")
((triple2 triple3 triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple1 triple4) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
True
7
proof
[(((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) OR ((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1))]
("Charlie" "is" "kind" "+")
((triple5 ((triple2 triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple5 ((((triple1 triple4) -> (rule5 % int3)) triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not kind.
False
7
inv-proof
[(((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) OR ((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1))]
("Charlie" "is" "kind" "-")
((triple5 ((triple2 triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple5 ((((triple1 triple4) -> (rule5 % int3)) triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
True
13
proof
[(((((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((triple2 triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((triple2 triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6)) -> rule2))]
("Charlie" "is" "blue" "+")
((((triple5 ((triple2 triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((triple2 triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 ((triple2 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule1 % int3)) triple4 ((((triple1 triple4) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((triple2 triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple5 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not blue.
False
13
inv-proof
[(((((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((triple2 triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((triple2 triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6)) -> rule2))]
("Charlie" "is" "blue" "-")
((((triple5 ((triple2 triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((triple2 triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 ((triple2 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule1 % int3)) triple4 ((((triple1 triple4) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((triple2 triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple5 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "green" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is big.[(triple5)] Charlie is cold.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2 OR ((triple1 triple4) -> rule5))] Charlie is young.[(triple1)] Eric is red.[(triple6)] Fred is kind.[(triple7)] Harry is big.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8)] @1: Charlie is green.[(((triple2 triple3 triple4) -> rule6) OR ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6))] @2: Charlie is kind.[(((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) OR ((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1))] @3: Charlie is blue.[(((((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((triple2 triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((triple2 triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((triple2 triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6) triple4) -> rule1) triple4 ((((triple1 triple4) -> rule5) triple3 triple4) -> rule6)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
((triple1 triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 triple3 triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple1 triple4) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 ((triple2 triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple5 ((((triple1 triple4) -> (rule5 % int3)) triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple5 ((triple2 triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((triple2 triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 ((triple2 triple3 triple4) -> (rule6 % int4)) triple4) -> (rule1 % int3)) triple4 ((((triple1 triple4) -> (rule5 % int2)) triple3 triple4) -> (rule6 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((triple2 triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple5 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple4 ((((triple1 triple4) -> (rule5 % int4)) triple3 triple4) -> (rule6 % int3))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is still young which means he can be rough and cold; He is a big boy with red hair.
Red Eric is what folks call him, because he is quite red.
Fred always goes out of his way to show that he is kind to people.
Harry, a green man, was also big, but underneath he was kind.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
A kind and cold person who is green is, surprisingly, also blue.
Among cold people, those who are round and kind are also rough.
Young people tend to rough and nice, but they are also red.
Young cold individuals are usualyy rough.
I believe that red, cold, rough people are likely to be green.