The bald eagle chases the cat. The bald eagle does not eat the cat. The bald eagle is not round. The bald eagle visits the squirrel. The cat is round. The dog chases the bald eagle. The dog is not big. The squirrel chases the cat. The squirrel does not eat the bald eagle. The squirrel does not visit the bald eagle. The squirrel visits the cat. The squirrel visits the dog. If the bald eagle chases the squirrel then the bald eagle chases the cat. If the cat does not visit the dog then the dog visits the squirrel. If the cat visits the dog and the cat is big then the cat does not chase the squirrel. If someone is rough then they chase the dog. If someone eats the bald eagle then they eat the cat. Round people are not red. If someone chases the bald eagle then the bald eagle visits the squirrel. If someone visits the dog and they chase the cat then they are rough.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat is round.
("cat" "is" "round" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is not big.
("dog" "is" "big" "-")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If the bald eagle chases the squirrel then the bald eagle chases the cat.
((("bald eagle" "chases" "squirrel" "+")) -> ("bald eagle" "chases" "cat" "+"))
If the cat does not visit the dog then the dog visits the squirrel.
((("cat" "visits" "dog" "~")) -> ("dog" "visits" "squirrel" "+"))
If the cat visits the dog and the cat is big then the cat does not chase the squirrel.
((("cat" "visits" "dog" "+") ("cat" "is" "big" "+")) -> ("cat" "chases" "squirrel" "-"))
If someone is rough then they chase the dog.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "dog" "+"))
If someone eats the bald eagle then they eat the cat.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "cat" "+"))
Round people are not red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "-"))
If someone chases the bald eagle then the bald eagle visits the squirrel.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If someone visits the dog and they chase the cat then they are rough.
((("someone" "visits" "dog" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "rough" "+"))
The cat is round.
True
1
proof
[(triple5)]
("cat" "is" "round" "+")
triple5
The squirrel does not chase the cat.
False
1
inv-proof
[(triple8)]
("squirrel" "chases" "cat" "-")
triple8
The squirrel does not eat the cat.
Unknown
inv-rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "eats" "cat" "-")
The dog chases the squirrel.
Unknown
random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not eat the cat.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle visits the squirrel.[(triple4 OR ((triple6) -> rule7))] The cat is round.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog is not big.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel does not eat the bald eagle.[(triple9)] The squirrel does not visit the bald eagle.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The cat is not red.[(((triple5) -> rule6))] The squirrel is rough.[(((triple12 triple8) -> rule8))] @2: The squirrel chases the dog.[(((((triple12 triple8) -> rule8)) -> rule4))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple2
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
((triple6) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The dog is not big.
("dog" "is" "big" "-")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple9
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple10
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The cat is not red.
("cat" "is" "red" "-")
((triple5) -> (rule6 % int1))
The cat is not red.
("cat" "is" "red" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple12 triple8) -> (rule8 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((((triple12 triple8) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2