The bald eagle is red. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The cow needs the bald eagle. The cow needs the squirrel. The cow visits the bald eagle. The rabbit is round. The rabbit sees the bald eagle. The rabbit visits the bald eagle. The squirrel is big. The squirrel is round. The squirrel is young. The squirrel needs the rabbit. The squirrel visits the rabbit. If something is red and young then it sees the bald eagle. If something is big then it is round.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something is red and young then it sees the bald eagle.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "sees" "bald eagle" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
The squirrel is young.
True
1
proof
[(triple13)]
("squirrel" "is" "young" "+")
triple13
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple9)]
("rabbit" "sees" "bald eagle" "-")
triple9
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "round" "-")
The rabbit visits the squirrel.
Unknown
random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cow needs the bald eagle.[(triple5)] The cow needs the squirrel.[(triple6)] The cow visits the bald eagle.[(triple7)] The rabbit is round.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit visits the bald eagle.[(triple10)] The squirrel is big.[(triple11)] The squirrel is round.[(triple12 OR ((triple11) -> rule2))] The squirrel is young.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple6
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple9
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
((triple11) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15