The bald eagle is rough. The squirrel needs the bald eagle. If someone needs the bald eagle then the bald eagle visits the squirrel.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone needs the bald eagle then the bald eagle visits the squirrel.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is not rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "-")
triple1
The bald eagle visits the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "visits" "squirrel" "+")
((triple2) -> (rule1 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle does not visit the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "visits" "squirrel" "-")
((triple2) -> (rule1 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The bald eagle does not like the squirrel.
Unknown
inv-random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The squirrel needs the bald eagle.[(triple2)] @1: The bald eagle visits the squirrel.[(((triple2) -> rule1))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple2) -> (rule1 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1