The bald eagle visits the dog. The cat is red. The dog visits the bald eagle. The squirrel is red. If someone likes the dog then the dog is red. If the squirrel needs the dog then the dog is not rough. If someone needs the squirrel and they do not need the bald eagle then the bald eagle is cold. If someone likes the squirrel and the squirrel visits the cat then the squirrel likes the dog. If the squirrel likes the cat then the cat visits the bald eagle. If someone likes the cat and the cat needs the squirrel then the cat likes the bald eagle. If someone is cold then they visit the cat. If someone visits the bald eagle and the bald eagle visits the dog then the dog visits the squirrel.
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cat is red.
("cat" "is" "red" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If someone likes the dog then the dog is red.
((("someone" "likes" "dog" "+")) -> ("dog" "is" "red" "+"))
If the squirrel needs the dog then the dog is not rough.
((("squirrel" "needs" "dog" "+")) -> ("dog" "is" "rough" "-"))
If someone needs the squirrel and they do not need the bald eagle then the bald eagle is cold.
((("someone" "needs" "squirrel" "+") ("someone" "needs" "bald eagle" "~")) -> ("bald eagle" "is" "cold" "+"))
If someone likes the squirrel and the squirrel visits the cat then the squirrel likes the dog.
((("someone" "likes" "squirrel" "+") ("squirrel" "visits" "cat" "+")) -> ("squirrel" "likes" "dog" "+"))
If the squirrel likes the cat then the cat visits the bald eagle.
((("squirrel" "likes" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If someone likes the cat and the cat needs the squirrel then the cat likes the bald eagle.
((("someone" "likes" "cat" "+") ("cat" "needs" "squirrel" "+")) -> ("cat" "likes" "bald eagle" "+"))
If someone is cold then they visit the cat.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the bald eagle and the bald eagle visits the dog then the dog visits the squirrel.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "visits" "dog" "+")) -> ("dog" "visits" "squirrel" "+"))
The dog visits the bald eagle.
True
1
proof
[(triple3)]
("dog" "visits" "bald eagle" "+")
triple3
The squirrel is not red.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "red" "-")
triple4
The dog visits the squirrel.
True
3
proof
[(((triple3 triple1) -> rule8))]
("dog" "visits" "squirrel" "+")
((triple3 triple1) -> (rule8 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The dog does not visit the squirrel.
False
3
inv-proof
[(((triple3 triple1) -> rule8))]
("dog" "visits" "squirrel" "-")
((triple3 triple1) -> (rule8 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The cat does not like the bald eagle.
Unknown
inv-rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "bald eagle" "-")
The dog is red.
Unknown
rconc
[@2: The dog is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("dog" "is" "red" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
@0: The bald eagle visits the dog.[(triple1)] The cat is red.[(triple2)] The dog visits the bald eagle.[(triple3)] The squirrel is red.[(triple4)] @1: The dog visits the squirrel.[(((triple3 triple1) -> rule8))]
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((triple3 triple1) -> (rule8 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1