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