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