The bald eagle does not chase the squirrel. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is not green. The bald eagle is round. The squirrel does not chase the bald eagle. The squirrel is round. If someone is nice and they chase the bald eagle then they are green. If someone eats the bald eagle and they visit the squirrel then the squirrel visits the bald eagle. If someone chases the squirrel then the squirrel is not green. If someone chases the bald eagle then they visit the bald eagle. If someone is round then they visit the squirrel. If someone eats the squirrel then the squirrel does not chase the bald eagle.
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone is nice and they chase the bald eagle then they are green.
((("someone" "is" "nice" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone eats the bald eagle and they visit the squirrel then the squirrel visits the bald eagle.
((("someone" "eats" "bald eagle" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If someone chases the squirrel then the squirrel is not green.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "green" "-"))
If someone chases the bald eagle then they visit the bald eagle.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is round then they visit the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone eats the squirrel then the squirrel does not chase the bald eagle.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "-"))
The bald eagle is cold.
True
1
proof
[(triple3)]
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is not cold.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "cold" "-")
triple3
The squirrel visits the squirrel.
True
2
proof
[(((triple7) -> rule5))]
("squirrel" "visits" "squirrel" "+")
((triple7) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The bald eagle does not visit the squirrel.
False
2
inv-proof
[(((triple5) -> rule5))]
("bald eagle" "visits" "squirrel" "-")
((triple5) -> (rule5 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel visits the bald eagle.
Unknown
rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is not green.[(triple4)] The bald eagle is round.[(triple5)] The squirrel does not chase the bald eagle.[(triple6 OR ((triple2) -> rule6))] The squirrel is round.[(triple7)] @1: The bald eagle visits the squirrel.[(((triple5) -> rule5))] The squirrel visits the squirrel.[(((triple7) -> rule5))]
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
triple6
((triple2) -> (rule6 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple5) -> (rule5 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple7) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1