The bald eagle is red. The bald eagle sees the cow. The bald eagle sees the lion. The bald eagle visits the squirrel. The cow visits the lion. The cow visits the squirrel. The lion likes the cow. The lion sees the bald eagle. The squirrel is big. The squirrel likes the cow. The squirrel sees the bald eagle. The squirrel sees the lion. If someone visits the bald eagle then the bald eagle is cold. If someone is young then they like the lion. If the lion is young and the lion likes the squirrel then the squirrel visits the bald eagle. If someone visits the bald eagle then the bald eagle is young. If someone sees the lion and they like the cow then the lion visits the bald eagle. If the bald eagle sees the squirrel and the bald eagle sees the cow then the bald eagle likes the cow. If someone likes the cow and they like the squirrel then they are big. If the lion is red then the lion is young.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone visits the bald eagle then the bald eagle is cold.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone is young then they like the lion.
((("someone" "is" "young" "+")) -> ("someone" "likes" "lion" "+"))
If the lion is young and the lion likes the squirrel then the squirrel visits the bald eagle.
((("lion" "is" "young" "+") ("lion" "likes" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle is young.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone sees the lion and they like the cow then the lion visits the bald eagle.
((("someone" "sees" "lion" "+") ("someone" "likes" "cow" "+")) -> ("lion" "visits" "bald eagle" "+"))
If the bald eagle sees the squirrel and the bald eagle sees the cow then the bald eagle likes the cow.
((("bald eagle" "sees" "squirrel" "+") ("bald eagle" "sees" "cow" "+")) -> ("bald eagle" "likes" "cow" "+"))
If someone likes the cow and they like the squirrel then they are big.
((("someone" "likes" "cow" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If the lion is red then the lion is young.
((("lion" "is" "red" "+")) -> ("lion" "is" "young" "+"))
The squirrel is big.
True
1
proof
[(triple9)]
("squirrel" "is" "big" "+")
triple9
The lion does not like the cow.
False
1
inv-proof
[(triple7)]
("lion" "likes" "cow" "-")
triple7
The lion visits the bald eagle.
True
3
proof
[(((triple12 triple10) -> rule5))]
("lion" "visits" "bald eagle" "+")
((triple12 triple10) -> (rule5 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion does not visit the bald eagle.
False
3
inv-proof
[(((triple12 triple10) -> rule5))]
("lion" "visits" "bald eagle" "-")
((triple12 triple10) -> (rule5 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The bald eagle is cold.
True
4
proof
[(((((triple12 triple10) -> rule5)) -> rule1))]
("bald eagle" "is" "cold" "+")
((((triple12 triple10) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The bald eagle is not cold.
False
4
inv-proof
[(((((triple12 triple10) -> rule5)) -> rule1))]
("bald eagle" "is" "cold" "-")
((((triple12 triple10) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The bald eagle likes the lion.
True
5
proof
[(((((((triple12 triple10) -> rule5)) -> rule4)) -> rule2))]
("bald eagle" "likes" "lion" "+")
((((((triple12 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3
The bald eagle does not like the lion.
False
5
inv-proof
[(((((((triple12 triple10) -> rule5)) -> rule4)) -> rule2))]
("bald eagle" "likes" "lion" "-")
((((((triple12 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3
The bald eagle does not like the cow.
Unknown
inv-rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "cow" "-")
The squirrel visits the bald eagle.
Unknown
rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The lion does not like the lion.
Unknown
inv-rconc
[@2: The lion likes the lion.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("lion" "likes" "lion" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "big" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The lion visits the cow.
Unknown
random
[@0: The lion visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "cow" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cow visits the lion.[(triple5)] The cow visits the squirrel.[(triple6)] The lion likes the cow.[(triple7)] The lion sees the bald eagle.[(triple8)] The squirrel is big.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The lion visits the bald eagle.[(((triple12 triple10) -> rule5))] @2: The bald eagle is cold.[(((((triple12 triple10) -> rule5)) -> rule1))] The bald eagle is young.[(((((triple12 triple10) -> rule5)) -> rule4))] @3: The bald eagle likes the lion.[(((((((triple12 triple10) -> rule5)) -> rule4)) -> rule2))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple6
The lion likes the cow.
("lion" "likes" "cow" "+")
triple7
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple10
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple11
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple12
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((triple12 triple10) -> (rule5 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((triple12 triple10) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple12 triple10) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((((((triple12 triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int3