The bald eagle is cold. The bald eagle needs the cat. The bald eagle visits the cat. The cat needs the squirrel. The cat sees the bald eagle. The cat visits the bald eagle. The squirrel is young. If someone visits the squirrel then the squirrel visits the bald eagle. If someone sees the bald eagle then they visit the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone visits the squirrel then the squirrel visits the bald eagle.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If someone sees the bald eagle then they visit the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
The cat needs the squirrel.
True
1
proof
[(triple4)]
("cat" "needs" "squirrel" "+")
triple4
The cat does not need the squirrel.
False
1
inv-proof
[(triple4)]
("cat" "needs" "squirrel" "-")
triple4
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat needs the squirrel.[(triple4)] The cat sees the bald eagle.[(triple5)] The cat visits the bald eagle.[(triple6 OR ((triple5) -> rule2))] The squirrel is young.[(triple7)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple5
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple6
((triple5) -> (rule2 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple7