The bald eagle is big. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow chases the bald eagle. The cow chases the squirrel. The cow is big. The cow is cold. The cow sees the squirrel. The cow visits the bald eagle. The cow visits the squirrel. The squirrel chases the bald eagle. The squirrel is big. If someone chases the squirrel then they visit the squirrel. If someone chases the squirrel and they are rough then they see the cow. If someone sees the cow then the cow chases the bald eagle. If the bald eagle is cold then the bald eagle is young. If someone is cold then they visit the squirrel. If the bald eagle visits the squirrel then the bald eagle is cold. If the squirrel visits the cow then the cow sees the bald eagle. If someone is cold then they see the cow.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
If someone chases the squirrel then they visit the squirrel.
((("someone" "chases" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone chases the squirrel and they are rough then they see the cow.
((("someone" "chases" "squirrel" "+") ("someone" "is" "rough" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the cow then the cow chases the bald eagle.
((("someone" "sees" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If the bald eagle is cold then the bald eagle is young.
((("bald eagle" "is" "cold" "+")) -> ("bald eagle" "is" "young" "+"))
If someone is cold then they visit the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "squirrel" "+"))
If the bald eagle visits the squirrel then the bald eagle is cold.
((("bald eagle" "visits" "squirrel" "+")) -> ("bald eagle" "is" "cold" "+"))
If the squirrel visits the cow then the cow sees the bald eagle.
((("squirrel" "visits" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If someone is cold then they see the cow.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "cow" "+"))
The cow visits the bald eagle.
True
1
proof
[(triple9)]
("cow" "visits" "bald eagle" "+")
triple9
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@3: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule1 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The cow chases the bald eagle.[(triple4 OR ((triple2) -> rule3) OR ((((triple7) -> rule8)) -> rule3))] The cow chases the squirrel.[(triple5)] The cow is big.[(triple6)] The cow is cold.[(triple7)] The cow sees the squirrel.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the squirrel.[(triple10 OR ((triple5) -> rule1) OR ((triple7) -> rule5))] The squirrel chases the bald eagle.[(triple11)] The squirrel is big.[(triple12)] @1: The cow sees the cow.[(((triple7) -> rule8))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
((triple2) -> (rule3 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is cold.
("cow" "is" "cold" "+")
triple7
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple8
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple9
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple10
((triple5) -> (rule1 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
((triple7) -> (rule5 % int1))
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple7) -> (rule8 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1