The bald eagle chases the bear. The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle likes the squirrel. The bald eagle visits the bear. The bear is blue. The bear is cold. The bear is nice. The bear is rough. The bear visits the tiger. The squirrel is cold. The squirrel does not like the bald eagle. The squirrel likes the bear. The squirrel visits the bald eagle. The tiger does not chase the bear. The tiger visits the bear. If the bald eagle visits the squirrel and the bald eagle visits the bear then the bear does not visit the bald eagle. If something visits the bear then the bear is cold. If something chases the squirrel and it likes the bear then the squirrel does not chase the bald eagle. If something chases the squirrel then it likes the squirrel. If something is cold and it chases the squirrel then the squirrel is not nice. If something is rough then it does not visit the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the bald eagle visits the squirrel and the bald eagle visits the bear then the bear does not visit the bald eagle.
((("bald eagle" "visits" "squirrel" "+") ("bald eagle" "visits" "bear" "+")) -> ("bear" "visits" "bald eagle" "-"))
If something visits the bear then the bear is cold.
((("something" "visits" "bear" "+")) -> ("bear" "is" "cold" "+"))
If something chases the squirrel and it likes the bear then the squirrel does not chase the bald eagle.
((("something" "chases" "squirrel" "+") ("something" "likes" "bear" "+")) -> ("squirrel" "chases" "bald eagle" "-"))
If something chases the squirrel then it likes the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "likes" "squirrel" "+"))
If something is cold and it chases the squirrel then the squirrel is not nice.
((("something" "is" "cold" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "nice" "-"))
If something is rough then it does not visit the bear.
((("something" "is" "rough" "+")) -> ("something" "visits" "bear" "-"))
The squirrel likes the bear.
True
1
proof
[(triple13)]
("squirrel" "likes" "bear" "+")
triple13
The bear is not blue.
False
1
inv-proof
[(triple6)]
("bear" "is" "blue" "-")
triple6
The bear does not like the squirrel.
Unknown
inv-rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "squirrel" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle chases the tiger.[(triple3)] The bald eagle likes the squirrel.[(triple4 OR ((triple2) -> rule4))] The bald eagle visits the bear.[(triple5)] The bear is blue.[(triple6)] The bear is cold.[(triple7 OR ((triple16) -> rule2) OR ((triple5) -> rule2))] The bear is nice.[(triple8)] The bear is rough.[(triple9)] The bear visits the tiger.[(triple10)] The squirrel does not like the bald eagle.[(triple12)] The squirrel is cold.[(triple11)] The squirrel likes the bear.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The tiger does not chase the bear.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear does not visit the bear.[(((triple9) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
((triple2) -> (rule4 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
((triple16) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((triple5) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
triple8
The bear is rough.
("bear" "is" "rough" "+")
triple9
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple10
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple13
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple14
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple16
The bear does not visit the bear.
("bear" "visits" "bear" "-")
((triple9) -> (rule6 % int1))
The bear does not visit the bear.
("bear" "visits" "bear" "-")
int1