The cow eats the squirrel. The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is rough. The cow needs the squirrel. The cow sees the squirrel. The squirrel eats the cow. The squirrel is big. The squirrel needs the cow. The squirrel sees the cow. If something sees the squirrel then it is cold. If something needs the cow then it eats the cow. If something is rough and it needs the squirrel then it eats the cow. If the squirrel eats the cow and the squirrel sees the cow then the squirrel is rough. If something eats the cow and it needs the cow then it is cold. If the squirrel needs the cow and the squirrel eats the cow then the cow eats the squirrel. If something needs the cow and the cow sees the squirrel then it eats the squirrel. If something needs the squirrel then it is green.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something sees the squirrel then it is cold.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something needs the cow then it eats the cow.
((("something" "needs" "cow" "+")) -> ("something" "eats" "cow" "+"))
If something is rough and it needs the squirrel then it eats the cow.
((("something" "is" "rough" "+") ("something" "needs" "squirrel" "+")) -> ("something" "eats" "cow" "+"))
If the squirrel eats the cow and the squirrel sees the cow then the squirrel is rough.
((("squirrel" "eats" "cow" "+") ("squirrel" "sees" "cow" "+")) -> ("squirrel" "is" "rough" "+"))
If something eats the cow and it needs the cow then it is cold.
((("something" "eats" "cow" "+") ("something" "needs" "cow" "+")) -> ("something" "is" "cold" "+"))
If the squirrel needs the cow and the squirrel eats the cow then the cow eats the squirrel.
((("squirrel" "needs" "cow" "+") ("squirrel" "eats" "cow" "+")) -> ("cow" "eats" "squirrel" "+"))
If something needs the cow and the cow sees the squirrel then it eats the squirrel.
((("something" "needs" "cow" "+") ("cow" "sees" "squirrel" "+")) -> ("something" "eats" "squirrel" "+"))
If something needs the squirrel then it is green.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "green" "+"))
The cow is rough.
True
1
proof
[(triple6)]
("cow" "is" "rough" "+")
triple6
The cow does not see the squirrel.
False
1
inv-proof
[(triple8)]
("cow" "sees" "squirrel" "-")
triple8
The squirrel eats the squirrel.
True
3
proof
[(((triple11 triple8) -> rule7))]
("squirrel" "eats" "squirrel" "+")
((triple11 triple8) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
3
inv-proof
[(((triple11 triple8) -> rule7))]
("squirrel" "eats" "squirrel" "-")
((triple11 triple8) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The cow eats the squirrel.[(triple1 OR ((triple11 triple9) -> rule6) OR ((triple11 ((triple11) -> rule2)) -> rule6))] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4 OR ((triple8) -> rule1))] The cow is green.[(triple5 OR ((triple7) -> rule8))] The cow is rough.[(triple6)] The cow needs the squirrel.[(triple7)] The cow sees the squirrel.[(triple8)] The squirrel eats the cow.[(triple9 OR ((triple11) -> rule2))] The squirrel is big.[(triple10)] The squirrel needs the cow.[(triple11)] The squirrel sees the cow.[(triple12)] @1: The cow eats the cow.[(((triple6 triple7) -> rule3))] The squirrel eats the squirrel.[(((triple11 triple8) -> rule7))] The squirrel is cold.[(((triple9 triple11) -> rule5) OR ((((triple11) -> rule2) triple11) -> rule5))] The squirrel is rough.[(((triple9 triple12) -> rule4) OR ((((triple11) -> rule2) triple12) -> rule4))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
((triple11 triple9) -> (rule6 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
((triple11 ((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
((triple8) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple5
((triple7) -> (rule8 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple7
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple8
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple9
((triple11) -> (rule2 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple11
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple12
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple6 triple7) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple11 triple8) -> (rule7 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple9 triple11) -> (rule5 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((((triple11) -> (rule2 % int2)) triple11) -> (rule5 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple9 triple12) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((((triple11) -> (rule2 % int2)) triple12) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2