The bald eagle chases the squirrel. The bald eagle visits the squirrel. The squirrel is not blue. If the bald eagle visits the squirrel then the squirrel is big. If someone chases the bald eagle and the bald eagle visits the squirrel then the squirrel chases the bald eagle. If someone chases the bald eagle and they are not kind then they need the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
If the bald eagle visits the squirrel then the squirrel is big.
((("bald eagle" "visits" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If someone chases the bald eagle and the bald eagle visits the squirrel then the squirrel chases the bald eagle.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "visits" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone chases the bald eagle and they are not kind then they need the squirrel.
((("someone" "chases" "bald eagle" "+") ("someone" "is" "kind" "~")) -> ("someone" "needs" "squirrel" "+"))
The squirrel is not blue.
True
1
proof
[(triple3)]
("squirrel" "is" "blue" "-")
triple3
The bald eagle does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "squirrel" "-")
triple1
The squirrel is big.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "is" "big" "+")
((triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "is" "big" "-")
((triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle does not need the squirrel.
Unknown
inv-rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "squirrel" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The squirrel is not blue.[(triple3)] @1: The squirrel is big.[(((triple2) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple2
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple3
The squirrel is big.
("squirrel" "is" "big" "+")
((triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1