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