The bear eats the cow. The bear likes the cow. The cow is green. The cow is rough. The cow likes the bear. The cow likes the squirrel. The cow visits the bear. The cow visits the squirrel. The squirrel eats the bear. The squirrel eats the cow. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel likes the cow. The squirrel visits the bear. The squirrel visits the cow. If someone is blue and they eat the squirrel then they visit the cow. If someone is green then they like the squirrel. If someone is cold and rough then they eat the bear. If someone is green then they like the cow. If someone likes the cow then they are cold. If the cow visits the squirrel then the cow is rough.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone is blue and they eat the squirrel then they visit the cow.
((("someone" "is" "blue" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "visits" "cow" "+"))
If someone is green then they like the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is cold and rough then they eat the bear.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "bear" "+"))
If someone is green then they like the cow.
((("someone" "is" "green" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the cow then they are cold.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "cold" "+"))
If the cow visits the squirrel then the cow is rough.
((("cow" "visits" "squirrel" "+")) -> ("cow" "is" "rough" "+"))
The cow is green.
True
1
proof
[(triple3)]
("cow" "is" "green" "+")
triple3
The bear does not like the cow.
False
1
inv-proof
[(triple2)]
("bear" "likes" "cow" "-")
triple2
The cow likes the cow.
True
2
proof
[(((triple3) -> rule4))]
("cow" "likes" "cow" "+")
((triple3) -> (rule4 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow does not like the cow.
False
2
inv-proof
[(((triple3) -> rule4))]
("cow" "likes" "cow" "-")
((triple3) -> (rule4 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is cold.
True
3
proof
[(((((triple3) -> rule4)) -> rule5))]
("cow" "is" "cold" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is not cold.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule5))]
("cow" "is" "cold" "-")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow eats the bear.
True
5
proof
[(((((((triple3) -> rule4)) -> rule5) triple4) -> rule3) OR ((((((triple3) -> rule4)) -> rule5) ((triple8) -> rule6)) -> rule3))]
("cow" "eats" "bear" "+")
((((((triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule3 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow does not eat the bear.
False
5
inv-proof
[(((((((triple3) -> rule4)) -> rule5) triple4) -> rule3) OR ((((((triple3) -> rule4)) -> rule5) ((triple8) -> rule6)) -> rule3))]
("cow" "eats" "bear" "-")
((((((triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule3 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "cow" "-")
The bear likes the squirrel.
Unknown
rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "squirrel" "+")
The bear does not visit the cow.
Unknown
inv-rconc
[@1: The bear visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "cow" "-")
The bear eats the bear.
Unknown
rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "bear" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The bear eats the cow.[(triple1)] The bear likes the cow.[(triple2)] The cow is green.[(triple3)] The cow is rough.[(triple4 OR ((triple8) -> rule6))] The cow likes the bear.[(triple5)] The cow likes the squirrel.[(triple6 OR ((triple3) -> rule2))] The cow visits the bear.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel eats the bear.[(triple9 OR ((triple11 triple13) -> rule3) OR ((((triple14) -> rule5) triple13) -> rule3) OR ((((((triple12) -> rule4)) -> rule5) triple13) -> rule3))] The squirrel eats the cow.[(triple10)] The squirrel is cold.[(triple11 OR ((triple14) -> rule5) OR ((((triple12) -> rule4)) -> rule5))] The squirrel is green.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the cow.[(triple14 OR ((triple12) -> rule4))] The squirrel visits the bear.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The bear is cold.[(((triple2) -> rule5))] The cow likes the cow.[(((triple3) -> rule4))] The squirrel likes the squirrel.[(((triple12) -> rule2))] @2: The cow is cold.[(((((triple3) -> rule4)) -> rule5))] @3: The cow eats the bear.[(((((((triple3) -> rule4)) -> rule5) triple4) -> rule3) OR ((((((triple3) -> rule4)) -> rule5) ((triple8) -> rule6)) -> rule3))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear likes the cow.
("bear" "likes" "cow" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
((triple8) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
((triple3) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple9
((triple11 triple13) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
((((triple14) -> (rule5 % int2)) triple13) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
((((((triple12) -> (rule4 % int3))) -> (rule5 % int2)) triple13) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
((triple14) -> (rule5 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
((triple12) -> (rule4 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16
The bear is cold.
("bear" "is" "cold" "+")
((triple2) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple3) -> (rule4 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple12) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
((((((triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple4) -> (rule3 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
int4