The cow eats the squirrel. The cow is cold. The cow is kind. The cow is nice. The cow is not red. The cow is rough. The cow needs the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel needs the cow. The squirrel visits the cow. If something eats the squirrel then it visits the squirrel. If something eats the squirrel then it visits the cow. If something eats the cow then the cow needs the squirrel. If something needs the squirrel and the squirrel is not cold then it eats the squirrel. If something is kind then it needs the squirrel. If something is red then it needs the squirrel. If something visits the cow and the cow eats the squirrel then the squirrel needs the cow. If something eats the cow and it needs the squirrel then the squirrel visits the cow.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something eats the squirrel then it visits the squirrel.
((("something" "eats" "squirrel" "+")) -> ("something" "visits" "squirrel" "+"))
If something eats the squirrel then it visits the cow.
((("something" "eats" "squirrel" "+")) -> ("something" "visits" "cow" "+"))
If something eats the cow then the cow needs the squirrel.
((("something" "eats" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If something needs the squirrel and the squirrel is not cold then it eats the squirrel.
((("something" "needs" "squirrel" "+") ("squirrel" "is" "cold" "~")) -> ("something" "eats" "squirrel" "+"))
If something is kind then it needs the squirrel.
((("something" "is" "kind" "+")) -> ("something" "needs" "squirrel" "+"))
If something is red then it needs the squirrel.
((("something" "is" "red" "+")) -> ("something" "needs" "squirrel" "+"))
If something visits the cow and the cow eats the squirrel then the squirrel needs the cow.
((("something" "visits" "cow" "+") ("cow" "eats" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
If something eats the cow and it needs the squirrel then the squirrel visits the cow.
((("something" "eats" "cow" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
The cow is rough.
True
1
proof
[(triple6)]
("cow" "is" "rough" "+")
triple6
The squirrel does not need the cow.
False
1
inv-proof
[(triple14 OR ((triple15 triple1) -> rule7) OR ((((triple1) -> rule2) triple1) -> rule7) OR ((((triple9 ((triple11) -> rule5)) -> rule8) triple1) -> rule7))]
("squirrel" "needs" "cow" "-")
triple14
((triple15 triple1) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((triple9 ((triple11) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The cow visits the cow.
True
2
proof
[(((triple1) -> rule2))]
("cow" "visits" "cow" "+")
((triple1) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The squirrel does not need the squirrel.
False
2
inv-proof
[(((triple11) -> rule5))]
("squirrel" "needs" "squirrel" "-")
((triple11) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
rconc
[@2: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("squirrel" "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 needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is not red.[(triple5)] The cow is rough.[(triple6)] The cow needs the squirrel.[(triple7 OR ((triple3) -> rule5) OR ((triple9) -> rule3))] The cow visits the squirrel.[(triple8 OR ((triple1) -> rule1))] The squirrel eats the cow.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13)] The squirrel needs the cow.[(triple14 OR ((triple15 triple1) -> rule7) OR ((((triple1) -> rule2) triple1) -> rule7) OR ((((triple9 ((triple11) -> rule5)) -> rule8) triple1) -> rule7))] The squirrel visits the cow.[(triple15 OR ((triple9 ((triple11) -> rule5)) -> rule8))] @1: The cow visits the cow.[(((triple1) -> rule2))] The squirrel needs the squirrel.[(((triple11) -> rule5))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is not red.
("cow" "is" "red" "-")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple7
((triple3) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
((triple9) -> (rule3 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
((triple1) -> (rule1 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple14
((triple15 triple1) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((triple9 ((triple11) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple15
((triple9 ((triple11) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple1) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple11) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1