The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle visits the squirrel. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is rough. The squirrel visits the bald eagle. If someone chases the bald eagle then the bald eagle chases the squirrel. If someone visits the bald eagle and the bald eagle eats the squirrel then they eat the bald eagle. If someone eats the bald eagle then they chase the squirrel.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone chases the bald eagle then the bald eagle chases the squirrel.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone visits the bald eagle and the bald eagle eats the squirrel then they eat the bald eagle.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "eats" "squirrel" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bald eagle then they chase the squirrel.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "chases" "squirrel" "+"))
The bald eagle visits the squirrel.
True
1
proof
[(triple3)]
("bald eagle" "visits" "squirrel" "+")
triple3
The squirrel does not chase the bald eagle.
False
1
inv-proof
[(triple4)]
("squirrel" "chases" "bald eagle" "-")
triple4
The squirrel eats the bald eagle.
True
3
proof
[(((triple7 triple1) -> rule2))]
("squirrel" "eats" "bald eagle" "+")
((triple7 triple1) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel does not eat the bald eagle.
False
3
inv-proof
[(((triple7 triple1) -> rule2))]
("squirrel" "eats" "bald eagle" "-")
((triple7 triple1) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel chases the squirrel.
True
4
proof
[(((((triple7 triple1) -> rule2)) -> rule3))]
("squirrel" "chases" "squirrel" "+")
((((triple7 triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel does not chase the squirrel.
False
4
inv-proof
[(((((triple7 triple1) -> rule2)) -> rule3))]
("squirrel" "chases" "squirrel" "-")
((((triple7 triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
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 red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
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 eats the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The squirrel chases the bald eagle.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is rough.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The bald eagle chases the squirrel.[(((triple4) -> rule1))] The squirrel eats the bald eagle.[(((triple7 triple1) -> rule2))] @2: The squirrel chases the squirrel.[(((((triple7 triple1) -> rule2)) -> rule3))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple4
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple7 triple1) -> (rule2 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((triple7 triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2