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