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