The bald eagle is kind. The bald eagle is rough. The bald eagle likes the lion. The bald eagle needs the lion. The bald eagle visits the lion. The lion likes the bald eagle. The lion visits the bald eagle. If someone needs the lion and they are red then they like the bald eagle. If the lion likes the bald eagle and the bald eagle is green then the lion visits the bald eagle. If someone is green then they like the lion. If the lion is green and the lion is red then the lion is young. If someone needs the lion and the lion visits the bald eagle then the lion is kind. If someone is young then they visit the bald eagle. If someone likes the bald eagle and the bald eagle visits the lion then the bald eagle is red. If someone likes the bald eagle and they visit the lion then the lion is young.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone needs the lion and they are red then they like the bald eagle.
((("someone" "needs" "lion" "+") ("someone" "is" "red" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the lion likes the bald eagle and the bald eagle is green then the lion visits the bald eagle.
((("lion" "likes" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("lion" "visits" "bald eagle" "+"))
If someone is green then they like the lion.
((("someone" "is" "green" "+")) -> ("someone" "likes" "lion" "+"))
If the lion is green and the lion is red then the lion is young.
((("lion" "is" "green" "+") ("lion" "is" "red" "+")) -> ("lion" "is" "young" "+"))
If someone needs the lion and the lion visits the bald eagle then the lion is kind.
((("someone" "needs" "lion" "+") ("lion" "visits" "bald eagle" "+")) -> ("lion" "is" "kind" "+"))
If someone is young then they visit the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle visits the lion then the bald eagle is red.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "visits" "lion" "+")) -> ("bald eagle" "is" "red" "+"))
If someone likes the bald eagle and they visit the lion then the lion is young.
((("someone" "likes" "bald eagle" "+") ("someone" "visits" "lion" "+")) -> ("lion" "is" "young" "+"))
The bald eagle is rough.
True
1
proof
[(triple2)]
("bald eagle" "is" "rough" "+")
triple2
The lion does not like the bald eagle.
False
1
inv-proof
[(triple6)]
("lion" "likes" "bald eagle" "-")
triple6
The lion is kind.
True
3
proof
[(((triple4 triple7) -> rule5) OR ((triple4 ((((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8)) -> rule6)) -> rule5))]
("lion" "is" "kind" "+")
((triple4 triple7) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
((triple4 ((((((triple4 ((triple6 triple5) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The lion is not kind.
False
3
inv-proof
[(((triple4 triple7) -> rule5) OR ((triple4 ((((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8)) -> rule6)) -> rule5))]
("lion" "is" "kind" "-")
((triple4 triple7) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
((triple4 ((((((triple4 ((triple6 triple5) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The bald eagle likes the bald eagle.
True
5
proof
[(((triple4 ((triple6 triple5) -> rule7)) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((triple4 ((triple6 triple5) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle does not like the bald eagle.
False
5
inv-proof
[(((triple4 ((triple6 triple5) -> rule7)) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((triple4 ((triple6 triple5) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The lion is young.
True
7
proof
[(((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8))]
("lion" "is" "young" "+")
((((triple4 ((triple6 triple5) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The lion is not young.
False
7
inv-proof
[(((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8))]
("lion" "is" "young" "-")
((((triple4 ((triple6 triple5) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "lion" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle visits the lion.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion visits the bald eagle.[(triple7 OR ((((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8)) -> rule6))] @1: The bald eagle is red.[(((triple6 triple5) -> rule7))] The lion is kind.[(((triple4 triple7) -> rule5) OR ((triple4 ((((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8)) -> rule6)) -> rule5))] @2: The bald eagle likes the bald eagle.[(((triple4 ((triple6 triple5) -> rule7)) -> rule1))] @3: The lion is young.[(((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple6
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple7
((((((triple4 ((triple6 triple5) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule8 % int2))) -> (rule6 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple6 triple5) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple4 triple7) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
((triple4 ((((((triple4 ((triple6 triple5) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple4 ((triple6 triple5) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
((((triple4 ((triple6 triple5) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule8 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3