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