The bald eagle is rough. The bald eagle visits the tiger. The bear is big. The bear does not see the bald eagle. The squirrel visits the bald eagle. The tiger eats the bald eagle. The tiger is round. If someone eats the bear and they do not eat the tiger then they are blue. If someone is blue then they do not see the bald eagle. If someone is young and they visit the bald eagle then the bald eagle does not visit the squirrel. If someone is big and they eat the bear then the bear visits the squirrel. If the bear visits the bald eagle and the bald eagle is round then the bear is rough. If someone eats the bald eagle then they visit the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone eats the bear and they do not eat the tiger then they are blue.
((("someone" "eats" "bear" "+") ("someone" "eats" "tiger" "~")) -> ("someone" "is" "blue" "+"))
If someone is blue then they do not see the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone is young and they visit the bald eagle then the bald eagle does not visit the squirrel.
((("someone" "is" "young" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "-"))
If someone is big and they eat the bear then the bear visits the squirrel.
((("someone" "is" "big" "+") ("someone" "eats" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
If the bear visits the bald eagle and the bald eagle is round then the bear is rough.
((("bear" "visits" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("bear" "is" "rough" "+"))
If someone eats the bald eagle then they visit the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The tiger does not eat the bald eagle.
False
1
inv-proof
[(triple6)]
("tiger" "eats" "bald eagle" "-")
triple6
The tiger visits the bald eagle.
True
2
proof
[(((triple6) -> rule6))]
("tiger" "visits" "bald eagle" "+")
((triple6) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger does not visit the bald eagle.
False
2
inv-proof
[(((triple6) -> rule6))]
("tiger" "visits" "bald eagle" "-")
((triple6) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "+")
The bald eagle does not eat the squirrel.
Unknown
inv-random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle visits the tiger.[(triple2)] The bear does not see the bald eagle.[(triple4)] The bear is big.[(triple3)] The squirrel visits the bald eagle.[(triple5)] The tiger eats the bald eagle.[(triple6)] The tiger is round.[(triple7)] @1: The tiger visits the bald eagle.[(((triple6) -> rule6))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
triple4
The bear is big.
("bear" "is" "big" "+")
triple3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple5
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple6
The tiger is round.
("tiger" "is" "round" "+")
triple7
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((triple6) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1