The bald eagle chases the squirrel. The bald eagle is kind. The cat chases the squirrel. The cat eats the squirrel. The cat visits the bald eagle. The dog chases the cat. The dog chases the squirrel. The dog is rough. The squirrel chases the bald eagle. The squirrel chases the dog. The squirrel eats the dog. The squirrel is cold. The squirrel is rough. The squirrel visits the bald eagle. The squirrel visits the cat. If someone visits the dog then they are cold.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is rough.
("dog" "is" "rough" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone visits the dog then they are cold.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "cold" "+"))
The squirrel visits the cat.
True
1
proof
[(triple15)]
("squirrel" "visits" "cat" "+")
triple15
The dog is not rough.
False
1
inv-proof
[(triple8)]
("dog" "is" "rough" "-")
triple8
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "cold" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is kind.[(triple2)] The cat chases the squirrel.[(triple3)] The cat eats the squirrel.[(triple4)] The cat visits the bald eagle.[(triple5)] The dog chases the cat.[(triple6)] The dog chases the squirrel.[(triple7)] The dog is rough.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is rough.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the cat.[(triple15)]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple10
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple14
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple15