The cow eats the squirrel. The cow is blue. The cow is kind. The cow is not red. The cow does not like the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is kind. The squirrel is red. The squirrel is young. The squirrel likes the cow. The squirrel visits the cow. If someone visits the cow then they eat the cow. If someone eats the squirrel and they visit the squirrel then they visit the cow. If someone is red then they visit the cow. If someone is green then they eat the squirrel. If the cow is red and the cow eats the squirrel then the cow is green. If someone likes the cow and they do not eat the cow then the cow does not like the squirrel.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone visits the cow then they eat the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If someone eats the squirrel and they visit the squirrel then they visit the cow.
((("someone" "eats" "squirrel" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "cow" "+"))
If someone is red then they visit the cow.
((("someone" "is" "red" "+")) -> ("someone" "visits" "cow" "+"))
If someone is green then they eat the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "eats" "squirrel" "+"))
If the cow is red and the cow eats the squirrel then the cow is green.
((("cow" "is" "red" "+") ("cow" "eats" "squirrel" "+")) -> ("cow" "is" "green" "+"))
If someone likes the cow and they do not eat the cow then the cow does not like the squirrel.
((("someone" "likes" "cow" "+") ("someone" "eats" "cow" "~")) -> ("cow" "likes" "squirrel" "-"))
The cow does not like the squirrel.
True
1
proof
[(triple5)]
("cow" "likes" "squirrel" "-")
triple5
The cow does not visit the squirrel.
False
1
inv-proof
[(triple6)]
("cow" "visits" "squirrel" "-")
triple6
The cow visits the cow.
True
3
proof
[(((triple1 triple6) -> rule2))]
("cow" "visits" "cow" "+")
((triple1 triple6) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow does not visit the cow.
False
3
inv-proof
[(((triple1 triple6) -> rule2))]
("cow" "visits" "cow" "-")
((triple1 triple6) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
True
4
proof
[(((((triple1 triple6) -> rule2)) -> rule1))]
("cow" "eats" "cow" "+")
((((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow does not eat the cow.
False
4
inv-proof
[(((((triple1 triple6) -> rule2)) -> rule1))]
("cow" "eats" "cow" "-")
((((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
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 cow is green.
Unknown
rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "green" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cow does not like the squirrel.[(triple5)] The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow is not red.[(triple4)] The cow visits the squirrel.[(triple6)] The squirrel eats the cow.[(triple7 OR ((triple12) -> rule1) OR ((((triple9) -> rule3)) -> rule1))] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel visits the cow.[(triple12 OR ((triple9) -> rule3))] @1: The cow visits the cow.[(((triple1 triple6) -> rule2))] @2: The cow eats the cow.[(((((triple1 triple6) -> rule2)) -> rule1))]
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
triple5
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is not red.
("cow" "is" "red" "-")
triple4
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple6
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple7
((triple12) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple11
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
((triple9) -> (rule3 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple1 triple6) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2