The cow eats the squirrel. The cow is blue. The cow is young. The cow likes the dog. The cow visits the squirrel. The dog eats the cow. The dog is nice. The dog likes the cow. The dog likes the squirrel. The dog visits the cow. The squirrel eats the cow. The squirrel eats the dog. The squirrel is cold. The squirrel is young. The squirrel likes the cow. The squirrel visits the dog. If something is blue and it visits the cow then the cow visits the squirrel. If the cow likes the squirrel and the squirrel eats the dog then the squirrel is green. If something likes the squirrel and the squirrel eats the dog then it visits the squirrel. If something is cold then it likes the cow. If the cow eats the dog and the dog is green then the cow is nice. If something likes the dog and the dog is cold then it is cold. If something is nice and it eats the cow then it likes the cow. If something eats the dog and it likes the squirrel then it visits the cow.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is blue and it visits the cow then the cow visits the squirrel.
((("something" "is" "blue" "+") ("something" "visits" "cow" "+")) -> ("cow" "visits" "squirrel" "+"))
If the cow likes the squirrel and the squirrel eats the dog then the squirrel is green.
((("cow" "likes" "squirrel" "+") ("squirrel" "eats" "dog" "+")) -> ("squirrel" "is" "green" "+"))
If something likes the squirrel and the squirrel eats the dog then it visits the squirrel.
((("something" "likes" "squirrel" "+") ("squirrel" "eats" "dog" "+")) -> ("something" "visits" "squirrel" "+"))
If something is cold then it likes the cow.
((("something" "is" "cold" "+")) -> ("something" "likes" "cow" "+"))
If the cow eats the dog and the dog is green then the cow is nice.
((("cow" "eats" "dog" "+") ("dog" "is" "green" "+")) -> ("cow" "is" "nice" "+"))
If something likes the dog and the dog is cold then it is cold.
((("something" "likes" "dog" "+") ("dog" "is" "cold" "+")) -> ("something" "is" "cold" "+"))
If something is nice and it eats the cow then it likes the cow.
((("something" "is" "nice" "+") ("something" "eats" "cow" "+")) -> ("something" "likes" "cow" "+"))
If something eats the dog and it likes the squirrel then it visits the cow.
((("something" "eats" "dog" "+") ("something" "likes" "squirrel" "+")) -> ("something" "visits" "cow" "+"))
The squirrel visits the dog.
True
1
proof
[(triple16)]
("squirrel" "visits" "dog" "+")
triple16
The cow does not like the dog.
False
1
inv-proof
[(triple4)]
("cow" "likes" "dog" "-")
triple4
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is young.[(triple3)] The cow likes the dog.[(triple4)] The cow visits the squirrel.[(triple5)] The dog eats the cow.[(triple6)] The dog is nice.[(triple7)] The dog likes the cow.[(triple8 OR ((triple7 triple6) -> rule7))] The dog likes the squirrel.[(triple9)] The dog visits the cow.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel eats the dog.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the cow.[(triple15 OR ((triple13) -> rule4))] The squirrel visits the dog.[(triple16)] @1: The dog visits the squirrel.[(((triple9 triple12) -> rule3))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow likes the dog.
("cow" "likes" "dog" "+")
triple4
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple5
The dog eats the cow.
("dog" "eats" "cow" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog likes the cow.
("dog" "likes" "cow" "+")
triple8
((triple7 triple6) -> (rule7 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple11
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple15
((triple13) -> (rule4 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((triple9 triple12) -> (rule3 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1