The bald eagle visits the squirrel. The cow eats the squirrel. The cow is red. The cow sees the squirrel. The cow visits the tiger. The squirrel eats the tiger. The tiger eats the bald eagle. The tiger eats the cow. The tiger is blue. The tiger is round. If someone is red and kind then they eat the bald eagle. If someone eats the squirrel then they are green. If someone is round and red then they eat the bald eagle.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone is red and kind then they eat the bald eagle.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the squirrel then they are green.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "green" "+"))
If someone is round and red then they eat the bald eagle.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "eats" "bald eagle" "+"))
The tiger eats the cow.
True
1
proof
[(triple8)]
("tiger" "eats" "cow" "+")
triple8
The tiger does not eat the cow.
False
1
inv-proof
[(triple8)]
("tiger" "eats" "cow" "-")
triple8
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "green" "-")
The tiger eats the squirrel.
Unknown
random
[@0: The tiger eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "squirrel" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is red.[(triple3)] The cow sees the squirrel.[(triple4)] The cow visits the tiger.[(triple5)] The squirrel eats the tiger.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is blue.[(triple9)] The tiger is round.[(triple10)] @1: The cow is green.[(((triple2) -> rule2))]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple4
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple5
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple6
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple10
The cow is green.
("cow" "is" "green" "+")
((triple2) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1