The bald eagle likes the cow. The bald eagle visits the lion. The cow likes the lion. The cow visits the lion. The lion eats the bald eagle. The squirrel eats the bald eagle. The squirrel visits the bald eagle. If something eats the lion and the lion eats the bald eagle then the lion likes the cow. If something eats the cow then the cow is cold. If something visits the squirrel then it visits the lion. If something visits the bald eagle then the bald eagle likes the squirrel. If something is rough then it is cold. If something likes the squirrel then the squirrel eats the lion. If the squirrel eats the bald eagle then the bald eagle visits the lion. If something likes the cow and the cow likes the squirrel then the squirrel is rough.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something eats the lion and the lion eats the bald eagle then the lion likes the cow.
((("something" "eats" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("lion" "likes" "cow" "+"))
If something eats the cow then the cow is cold.
((("something" "eats" "cow" "+")) -> ("cow" "is" "cold" "+"))
If something visits the squirrel then it visits the lion.
((("something" "visits" "squirrel" "+")) -> ("something" "visits" "lion" "+"))
If something visits the bald eagle then the bald eagle likes the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If something is rough then it is cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something likes the squirrel then the squirrel eats the lion.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "eats" "lion" "+"))
If the squirrel eats the bald eagle then the bald eagle visits the lion.
((("squirrel" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
If something likes the cow and the cow likes the squirrel then the squirrel is rough.
((("something" "likes" "cow" "+") ("cow" "likes" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple6)]
("squirrel" "eats" "bald eagle" "+")
triple6
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple5)]
("lion" "eats" "bald eagle" "-")
triple5
The bald eagle likes the squirrel.
True
2
proof
[(((triple7) -> rule4))]
("bald eagle" "likes" "squirrel" "+")
((triple7) -> (rule4 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle does not like the squirrel.
False
2
inv-proof
[(((triple7) -> rule4))]
("bald eagle" "likes" "squirrel" "-")
((triple7) -> (rule4 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel eats the lion.
True
3
proof
[(((((triple7) -> rule4)) -> rule6))]
("squirrel" "eats" "lion" "+")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel does not eat the lion.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule6))]
("squirrel" "eats" "lion" "-")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The lion likes the cow.
True
5
proof
[(((((((triple7) -> rule4)) -> rule6) triple5) -> rule1))]
("lion" "likes" "cow" "+")
((((((triple7) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3
The lion does not like the cow.
False
5
inv-proof
[(((((((triple7) -> rule4)) -> rule6) triple5) -> rule1))]
("lion" "likes" "cow" "-")
((((((triple7) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "cold" "-")
The lion is cold.
Unknown
rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "cold" "+")
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel visits the lion.
Unknown
rconc
[@1: The squirrel visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "lion" "+")
The bald eagle does not eat the lion.
Unknown
inv-random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "-")
The cow likes the squirrel.
Unknown
random
[@0: The cow likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "squirrel" "+")
The squirrel does not eat the cow.
Unknown
inv-random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bald eagle likes the cow.[(triple1)] The bald eagle visits the lion.[(triple2 OR ((triple6) -> rule7))] The cow likes the lion.[(triple3)] The cow visits the lion.[(triple4)] The lion eats the bald eagle.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The bald eagle likes the squirrel.[(((triple7) -> rule4))] @2: The squirrel eats the lion.[(((((triple7) -> rule4)) -> rule6))] @3: The lion likes the cow.[(((((((triple7) -> rule4)) -> rule6) triple5) -> rule1))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple2
((triple6) -> (rule7 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The cow visits the lion.
("cow" "visits" "lion" "+")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple7) -> (rule4 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
((((((triple7) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int3