The bald eagle is round. The bald eagle sees the lion. The bald eagle sees the squirrel. The lion is round. The lion is young. The lion sees the bald eagle. The squirrel chases the bald eagle. If something sees the squirrel and it chases the bald eagle then the bald eagle sees the squirrel. If something visits the squirrel then the squirrel sees the bald eagle. If something sees the lion and it is round then the lion visits the squirrel. If the lion chases the bald eagle then the bald eagle sees the squirrel. If something is blue and round then it chases the bald eagle. If something visits the lion and it is blue then the lion visits the squirrel. If something sees the bald eagle then it is red. If something is rough and red then it is young.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
If something sees the squirrel and it chases the bald eagle then the bald eagle sees the squirrel.
((("something" "sees" "squirrel" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If something visits the squirrel then the squirrel sees the bald eagle.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If something sees the lion and it is round then the lion visits the squirrel.
((("something" "sees" "lion" "+") ("something" "is" "round" "+")) -> ("lion" "visits" "squirrel" "+"))
If the lion chases the bald eagle then the bald eagle sees the squirrel.
((("lion" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If something is blue and round then it chases the bald eagle.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "chases" "bald eagle" "+"))
If something visits the lion and it is blue then the lion visits the squirrel.
((("something" "visits" "lion" "+") ("something" "is" "blue" "+")) -> ("lion" "visits" "squirrel" "+"))
If something sees the bald eagle then it is red.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If something is rough and red then it is young.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
The bald eagle is round.
True
1
proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The bald eagle does not see the squirrel.
False
1
inv-proof
[(triple3)]
("bald eagle" "sees" "squirrel" "-")
triple3
The lion is red.
True
2
proof
[(((triple6) -> rule7))]
("lion" "is" "red" "+")
((triple6) -> (rule7 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion does not visit the squirrel.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("lion" "visits" "squirrel" "-")
((triple2 triple1) -> (rule3 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel sees the bald eagle.
True
4
proof
[(((((triple2 triple1) -> rule3)) -> rule2))]
("squirrel" "sees" "bald eagle" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The squirrel does not see the bald eagle.
False
4
inv-proof
[(((((triple2 triple1) -> rule3)) -> rule2))]
("squirrel" "sees" "bald eagle" "-")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The squirrel is red.
True
5
proof
[(((((((triple2 triple1) -> rule3)) -> rule2)) -> rule7))]
("squirrel" "is" "red" "+")
((((((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The squirrel is not red.
False
5
inv-proof
[(((((((triple2 triple1) -> rule3)) -> rule2)) -> rule7))]
("squirrel" "is" "red" "-")
((((((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "young" "+")
The lion does not chase the bald eagle.
Unknown
inv-rconc
[@1: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "chases" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle chases the lion.
Unknown
random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion sees the bald eagle.[(triple6)] The squirrel chases the bald eagle.[(triple7)] @1: The lion is red.[(((triple6) -> rule7))] The lion visits the squirrel.[(((triple2 triple1) -> rule3))] @2: The squirrel sees the bald eagle.[(((((triple2 triple1) -> rule3)) -> rule2))] @3: The squirrel is red.[(((((((triple2 triple1) -> rule3)) -> rule2)) -> rule7))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The lion is round.
("lion" "is" "round" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
((triple6) -> (rule7 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
((triple2 triple1) -> (rule3 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int3