The bald eagle eats the lion. The bald eagle eats the squirrel. The bald eagle likes the lion. The bald eagle likes the squirrel. The bald eagle visits the lion. The bald eagle visits the squirrel. The lion eats the bald eagle. The lion eats the squirrel. The lion is blue. The lion is cold. The lion likes the squirrel. The squirrel eats the bald eagle. The squirrel eats the lion. The squirrel is blue. The squirrel visits the bald eagle. If the lion eats the squirrel and the lion is blue then the squirrel likes the lion. If someone likes the lion and they are blue then they are big.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If the lion eats the squirrel and the lion is blue then the squirrel likes the lion.
((("lion" "eats" "squirrel" "+") ("lion" "is" "blue" "+")) -> ("squirrel" "likes" "lion" "+"))
If someone likes the lion and they are blue then they are big.
((("someone" "likes" "lion" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
The bald eagle likes the lion.
True
1
proof
[(triple3)]
("bald eagle" "likes" "lion" "+")
triple3
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple12)]
("squirrel" "eats" "bald eagle" "-")
triple12
The squirrel likes the lion.
True
3
proof
[(((triple8 triple9) -> rule1))]
("squirrel" "likes" "lion" "+")
((triple8 triple9) -> (rule1 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel does not like the lion.
False
3
inv-proof
[(((triple8 triple9) -> rule1))]
("squirrel" "likes" "lion" "-")
((triple8 triple9) -> (rule1 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel is big.
True
5
proof
[(((((triple8 triple9) -> rule1) triple14) -> rule2))]
("squirrel" "is" "big" "+")
((((triple8 triple9) -> (rule1 % int2)) triple14) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
The squirrel is not big.
False
5
inv-proof
[(((((triple8 triple9) -> rule1) triple14) -> rule2))]
("squirrel" "is" "big" "-")
((((triple8 triple9) -> (rule1 % int2)) triple14) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2
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 lion is big.
Unknown
rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "big" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The lion visits the bald eagle.
Unknown
random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the squirrel.[(triple8)] The lion is blue.[(triple9)] The lion is cold.[(triple10)] The lion likes the squirrel.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel eats the lion.[(triple13)] The squirrel is blue.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The squirrel likes the lion.[(((triple8 triple9) -> rule1))] @2: The squirrel is big.[(((((triple8 triple9) -> rule1) triple14) -> rule2))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion is cold.
("lion" "is" "cold" "+")
triple10
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple11
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple12
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple13
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
((triple8 triple9) -> (rule1 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple8 triple9) -> (rule1 % int2)) triple14) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int2