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