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