The bald eagle chases the cat. The bald eagle chases the dog. The bald eagle is not rough. The bald eagle needs the dog. The bald eagle does not visit the cat. The bald eagle visits the dog. The cat does not chase the bald eagle. The cat is kind. The cat is not nice. The cat needs the squirrel. The cat visits the squirrel. The dog is cold. The dog is not nice. The dog does not visit the bald eagle. The squirrel chases the bald eagle. The squirrel does not visit the cat. If something is rough and big then it needs the dog. If something chases the dog then it is not rough. If something chases the squirrel then it is kind. If something visits the bald eagle then the bald eagle does not chase the dog. If something visits the dog then the dog does not chase the bald eagle. If something visits the cat then it does not visit the dog. If the bald eagle needs the squirrel then the squirrel does not visit the cat. If something visits the squirrel and the squirrel is not rough then the squirrel chases the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
If something is rough and big then it needs the dog.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "needs" "dog" "+"))
If something chases the dog then it is not rough.
((("something" "chases" "dog" "+")) -> ("something" "is" "rough" "-"))
If something chases the squirrel then it is kind.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "kind" "+"))
If something visits the bald eagle then the bald eagle does not chase the dog.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "-"))
If something visits the dog then the dog does not chase the bald eagle.
((("something" "visits" "dog" "+")) -> ("dog" "chases" "bald eagle" "-"))
If something visits the cat then it does not visit the dog.
((("something" "visits" "cat" "+")) -> ("something" "visits" "dog" "-"))
If the bald eagle needs the squirrel then the squirrel does not visit the cat.
((("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "visits" "cat" "-"))
If something visits the squirrel and the squirrel is not rough then the squirrel chases the bald eagle.
((("something" "visits" "squirrel" "+") ("squirrel" "is" "rough" "~")) -> ("squirrel" "chases" "bald eagle" "+"))
The dog is cold.
True
1
proof
[(triple12)]
("dog" "is" "cold" "+")
triple12
The bald eagle is rough.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule2))]
("bald eagle" "is" "rough" "+")
triple3
((triple2) -> (rule2 % int1))
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
int1
The dog does not chase the bald eagle.
True
2
proof
[(((triple6) -> rule5))]
("dog" "chases" "bald eagle" "-")
((triple6) -> (rule5 % int1))
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
int1
The dog chases the bald eagle.
False
2
inv-proof
[(((triple6) -> rule5))]
("dog" "chases" "bald eagle" "+")
((triple6) -> (rule5 % int1))
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
int1
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "dog" "-")
The squirrel needs the dog.
Unknown
rconc
[@1: The squirrel needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "dog" "+")
The cat does not need the bald eagle.
Unknown
inv-random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle does not visit the cat.[(triple5)] The bald eagle is not rough.[(triple3 OR ((triple2) -> rule2))] The bald eagle needs the dog.[(triple4)] The bald eagle visits the dog.[(triple6)] The cat does not chase the bald eagle.[(triple7)] The cat is kind.[(triple8)] The cat is not nice.[(triple9)] The cat needs the squirrel.[(triple10)] The cat visits the squirrel.[(triple11)] The dog does not visit the bald eagle.[(triple14)] The dog is cold.[(triple12)] The dog is not nice.[(triple13)] The squirrel chases the bald eagle.[(triple15)] The squirrel does not visit the cat.[(triple16)] @1: The dog does not chase the bald eagle.[(((triple6) -> rule5))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple5
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple3
((triple2) -> (rule2 % int1))
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple6
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat is not nice.
("cat" "is" "nice" "-")
triple9
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple10
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple11
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple14
The dog is cold.
("dog" "is" "cold" "+")
triple12
The dog is not nice.
("dog" "is" "nice" "-")
triple13
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple15
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
triple16
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
((triple6) -> (rule5 % int1))
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
int1