The bald eagle likes the cat. The cat is red. The cat is rough. The cat sees the tiger. The cat visits the squirrel. The squirrel does not like the bald eagle. The squirrel likes the tiger. The squirrel sees the cat. The squirrel visits the cat. The tiger likes the bald eagle. The tiger does not like the squirrel. The tiger visits the squirrel. If someone is rough and not round then they like the bald eagle. If someone is round and they visit the squirrel then they are big. If someone is big and they visit the bald eagle then the bald eagle sees the tiger. If someone is big and they visit the bald eagle then the bald eagle does not see the squirrel. If someone is round then they visit the bald eagle. If the cat is big and the cat does not like the bald eagle then the bald eagle does not visit the cat.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone is rough and not round then they like the bald eagle.
((("someone" "is" "rough" "+") ("someone" "is" "round" "~")) -> ("someone" "likes" "bald eagle" "+"))
If someone is round and they visit the squirrel then they are big.
((("someone" "is" "round" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone is big and they visit the bald eagle then the bald eagle sees the tiger.
((("someone" "is" "big" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If someone is big and they visit the bald eagle then the bald eagle does not see the squirrel.
((("someone" "is" "big" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "-"))
If someone is round then they visit the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the cat is big and the cat does not like the bald eagle then the bald eagle does not visit the cat.
((("cat" "is" "big" "+") ("cat" "likes" "bald eagle" "~")) -> ("bald eagle" "visits" "cat" "-"))
The cat visits the squirrel.
True
1
proof
[(triple5)]
("cat" "visits" "squirrel" "+")
triple5
The cat does not see the tiger.
False
1
inv-proof
[(triple4)]
("cat" "sees" "tiger" "-")
triple4
The cat does not like the bald eagle.
Unknown
inv-rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "bald eagle" "-")
The squirrel sees the tiger.
Unknown
random
[@0: The squirrel sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "tiger" "+")
@0: The bald eagle likes the cat.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cat sees the tiger.[(triple4)] The cat visits the squirrel.[(triple5)] The squirrel does not like the bald eagle.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel sees the cat.[(triple8)] The squirrel visits the cat.[(triple9)] The tiger does not like the squirrel.[(triple11)] The tiger likes the bald eagle.[(triple10)] The tiger visits the squirrel.[(triple12)]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple4
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple5
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
triple6
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple7
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple8
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple9
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
triple11
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple10
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple12