The bald eagle chases the squirrel. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is not round. The bald eagle visits the squirrel. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel does not visit the bald eagle. If someone is cold then they chase the squirrel. If the bald eagle visits the squirrel then the bald eagle eats the squirrel. If someone eats the squirrel and they do not chase the squirrel then they do not visit the bald eagle.
The bald eagle chases 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 green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
If someone is cold then they chase the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "squirrel" "+"))
If the bald eagle visits the squirrel then the bald eagle eats the squirrel.
((("bald eagle" "visits" "squirrel" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If someone eats the squirrel and they do not chase the squirrel then they do not visit the bald eagle.
((("someone" "eats" "squirrel" "+") ("someone" "chases" "squirrel" "~")) -> ("someone" "visits" "bald eagle" "-"))
The squirrel is cold.
True
1
proof
[(triple11)]
("squirrel" "is" "cold" "+")
triple11
The squirrel does not chase the bald eagle.
False
1
inv-proof
[(triple9)]
("squirrel" "chases" "bald eagle" "-")
triple9
The squirrel chases the squirrel.
True
2
proof
[(((triple11) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((triple11) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple11) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((triple11) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
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 chases the squirrel.[(triple1 OR ((triple3) -> rule1))] The bald eagle eats the squirrel.[(triple2 OR ((triple8) -> rule2))] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is not round.[(triple7)] The bald eagle is red.[(triple6)] The bald eagle visits the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel does not visit the bald eagle.[(triple16)] The squirrel eats the bald eagle.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is red.[(triple14)] The squirrel is round.[(triple15)] @1: The squirrel chases the squirrel.[(((triple11) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
((triple3) -> (rule1 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
((triple8) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple7
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple6
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
triple16
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel is round.
("squirrel" "is" "round" "+")
triple15
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple11) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1