The cow eats the rabbit. The cow is green. The cow is red. The cow visits the squirrel. The dog is green. The rabbit eats the cow. The rabbit eats the dog. The rabbit eats the squirrel. The rabbit is kind. The rabbit likes the cow. The rabbit likes the squirrel. The squirrel eats the dog. The squirrel is green. The squirrel is red. The squirrel likes the cow. The squirrel visits the rabbit. Green things are red. If the dog likes the cow then the cow eats the squirrel. If something eats the squirrel then the squirrel is red.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If the dog likes the cow then the cow eats the squirrel.
((("dog" "likes" "cow" "+")) -> ("cow" "eats" "squirrel" "+"))
If something eats the squirrel then the squirrel is red.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
The squirrel likes the cow.
True
1
proof
[(triple15)]
("squirrel" "likes" "cow" "+")
triple15
The rabbit does not eat the dog.
False
1
inv-proof
[(triple7)]
("rabbit" "eats" "dog" "-")
triple7
The dog is red.
True
2
proof
[(((triple5) -> rule1))]
("dog" "is" "red" "+")
((triple5) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("dog" "is" "red" "-")
((triple5) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cow does not eat the squirrel.
Unknown
inv-rconc
[@1: The cow eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "squirrel" "-")
The rabbit is red.
Unknown
rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "red" "+")
The rabbit does not visit the cow.
Unknown
inv-random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3 OR ((triple2) -> rule1))] The cow visits the squirrel.[(triple4)] The dog is green.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit eats the squirrel.[(triple8)] The rabbit is kind.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit likes the squirrel.[(triple11)] The squirrel eats the dog.[(triple12)] The squirrel is green.[(triple13)] The squirrel is red.[(triple14 OR ((triple13) -> rule1) OR ((triple8) -> rule3))] The squirrel likes the cow.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The dog is red.[(((triple5) -> rule1))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
((triple2) -> (rule1 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple6
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple7
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple10
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple11
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
((triple13) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple8) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The dog is red.
("dog" "is" "red" "+")
((triple5) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1