The bald eagle chases the rabbit. The bald eagle chases the tiger. The bald eagle is round. The bald eagle sees the squirrel. The bald eagle visits the rabbit. The rabbit chases the tiger. The rabbit is kind. The squirrel chases the tiger. The squirrel is blue. The squirrel is rough. The squirrel visits the tiger. The tiger is round. The tiger is young. The tiger sees the squirrel. The tiger visits the squirrel. If the bald eagle visits the squirrel and the bald eagle is young then the squirrel sees the tiger.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If the bald eagle visits the squirrel and the bald eagle is young then the squirrel sees the tiger.
((("bald eagle" "visits" "squirrel" "+") ("bald eagle" "is" "young" "+")) -> ("squirrel" "sees" "tiger" "+"))
The bald eagle is round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The squirrel does not visit the tiger.
False
1
inv-proof
[(triple11)]
("squirrel" "visits" "tiger" "-")
triple11
The squirrel does not see the tiger.
Unknown
inv-rconc
[@1: The squirrel sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "tiger" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit is kind.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is rough.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the squirrel.[(triple15)]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple5
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple14
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple15