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