The bald eagle likes the tiger. The squirrel sees the bald eagle. The tiger sees the bald eagle. If someone likes the tiger and they see the bald eagle then the tiger sees the squirrel. If someone sees the tiger then the tiger is red. If someone chases the bald eagle and the bald eagle is red then they are round.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone likes the tiger and they see the bald eagle then the tiger sees the squirrel.
((("someone" "likes" "tiger" "+") ("someone" "sees" "bald eagle" "+")) -> ("tiger" "sees" "squirrel" "+"))
If someone sees the tiger then the tiger is red.
((("someone" "sees" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If someone chases the bald eagle and the bald eagle is red then they are round.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("someone" "is" "round" "+"))
The tiger sees the bald eagle.
True
1
proof
[(triple3)]
("tiger" "sees" "bald eagle" "+")
triple3
The tiger does not see the bald eagle.
False
1
inv-proof
[(triple3)]
("tiger" "sees" "bald eagle" "-")
triple3
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "round" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
@0: The bald eagle likes the tiger.[(triple1)] The squirrel sees the bald eagle.[(triple2)] The tiger sees the bald eagle.[(triple3)]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple3