The bald eagle is cold. The dog needs the bald eagle. The dog sees the lion. The lion eats the bald eagle. The lion eats the tiger. The lion is cold. The lion does not need the bald eagle. The lion sees the bald eagle. The tiger is big. The tiger is cold. If something eats the lion then it eats the dog. If something is rough then it sees the lion. If something is young then it eats the lion. If something is cold and it eats the dog then the dog is big. If the lion needs the dog then the dog does not need the bald eagle. If something eats the lion and the lion is cold then the lion does not need the dog. If something sees the lion then the lion sees the dog. Big things are young. If the tiger does not see the lion then the tiger is green.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If something eats the lion then it eats the dog.
((("something" "eats" "lion" "+")) -> ("something" "eats" "dog" "+"))
If something is rough then it sees the lion.
((("something" "is" "rough" "+")) -> ("something" "sees" "lion" "+"))
If something is young then it eats the lion.
((("something" "is" "young" "+")) -> ("something" "eats" "lion" "+"))
If something is cold and it eats the dog then the dog is big.
((("something" "is" "cold" "+") ("something" "eats" "dog" "+")) -> ("dog" "is" "big" "+"))
If the lion needs the dog then the dog does not need the bald eagle.
((("lion" "needs" "dog" "+")) -> ("dog" "needs" "bald eagle" "-"))
If something eats the lion and the lion is cold then the lion does not need the dog.
((("something" "eats" "lion" "+") ("lion" "is" "cold" "+")) -> ("lion" "needs" "dog" "-"))
If something sees the lion then the lion sees the dog.
((("something" "sees" "lion" "+")) -> ("lion" "sees" "dog" "+"))
Big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If the tiger does not see the lion then the tiger is green.
((("tiger" "sees" "lion" "~")) -> ("tiger" "is" "green" "+"))
The lion is cold.
True
1
proof
[(triple6)]
("lion" "is" "cold" "+")
triple6
The lion does not see the bald eagle.
False
1
inv-proof
[(triple8)]
("lion" "sees" "bald eagle" "-")
triple8
The lion sees the dog.
True
2
proof
[(((triple3) -> rule7))]
("lion" "sees" "dog" "+")
((triple3) -> (rule7 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion does not see the dog.
False
2
inv-proof
[(((triple3) -> rule7))]
("lion" "sees" "dog" "-")
((triple3) -> (rule7 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The tiger eats the lion.
True
3
proof
[(((((triple9) -> rule8)) -> rule3))]
("tiger" "eats" "lion" "+")
((((triple9) -> (rule8 % int2))) -> (rule3 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger does not eat the lion.
False
3
inv-proof
[(((((triple9) -> rule8)) -> rule3))]
("tiger" "eats" "lion" "-")
((((triple9) -> (rule8 % int2))) -> (rule3 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The lion does not need the dog.
True
5
proof
[(((((((triple9) -> rule8)) -> rule3) triple6) -> rule6) OR ((((((((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4)) -> rule8)) -> rule3) triple6) -> rule6))]
("lion" "needs" "dog" "-")
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2)) triple6) -> (rule6 % int1))
The lion does not need the dog.
("lion" "needs" "dog" "-")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((((((triple10 ((((((triple9) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple6) -> (rule6 % int1))
The lion does not need the dog.
("lion" "needs" "dog" "-")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int5
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int6
The tiger is young.
("tiger" "is" "young" "+")
int7
The tiger does not eat the dog.
False
4
inv-proof
[(((((((triple9) -> rule8)) -> rule3)) -> rule1))]
("tiger" "eats" "dog" "-")
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The dog is big.
True
6
proof
[(((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4))]
("dog" "is" "big" "+")
((triple10 ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The dog is not big.
False
6
inv-proof
[(((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4))]
("dog" "is" "big" "-")
((triple10 ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The dog is young.
True
7
proof
[(((((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4)) -> rule8))]
("dog" "is" "young" "+")
((((triple10 ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
int5
The dog is not young.
False
7
inv-proof
[(((((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4)) -> rule8))]
("dog" "is" "young" "-")
((((triple10 ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
int5
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle eats the lion.
Unknown
rconc
[@2: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("bald eagle" "eats" "lion" "+")
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("tiger" "is" "green" "-")
The lion eats the lion.
Unknown
rconc
[@2: The lion eats the lion.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("lion" "eats" "lion" "+")
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "young" "-")
The bald eagle eats the dog.
Unknown
rconc
[@3: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule8 <- FAIL)]]
("bald eagle" "eats" "dog" "+")
The dog does not eat the tiger.
Unknown
inv-random
[@0: The dog eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "tiger" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
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 dog needs the bald eagle.[(triple2)] The dog sees the lion.[(triple3)] The lion does not need the bald eagle.[(triple7)] The lion eats the bald eagle.[(triple4)] The lion eats the tiger.[(triple5)] The lion is cold.[(triple6)] The lion sees the bald eagle.[(triple8)] The tiger is big.[(triple9)] The tiger is cold.[(triple10)] @1: The lion sees the dog.[(((triple3) -> rule7))] The tiger is young.[(((triple9) -> rule8))] @2: The tiger eats the lion.[(((((triple9) -> rule8)) -> rule3))] @3: The lion does not need the dog.[(((((((triple9) -> rule8)) -> rule3) triple6) -> rule6) OR ((((((((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4)) -> rule8)) -> rule3) triple6) -> rule6))] The tiger eats the dog.[(((((((triple9) -> rule8)) -> rule3)) -> rule1))] @4: The dog is big.[(((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4))] @5: The dog is young.[(((((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4)) -> rule8))] @6: The dog eats the lion.[(((((((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4)) -> rule8)) -> rule3))] @7: The dog eats the dog.[(((((((((triple10 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4)) -> rule8)) -> rule3)) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple2
The dog sees the lion.
("dog" "sees" "lion" "+")
triple3
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple5
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The lion sees the dog.
("lion" "sees" "dog" "+")
((triple3) -> (rule7 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((triple9) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((((triple9) -> (rule8 % int2))) -> (rule3 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The lion does not need the dog.
("lion" "needs" "dog" "-")
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2)) triple6) -> (rule6 % int1))
The lion does not need the dog.
("lion" "needs" "dog" "-")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((((((triple10 ((((((triple9) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple6) -> (rule6 % int1))
The lion does not need the dog.
("lion" "needs" "dog" "-")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int5
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int6
The tiger is young.
("tiger" "is" "young" "+")
int7
The tiger eats the dog.
("tiger" "eats" "dog" "+")
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The dog is big.
("dog" "is" "big" "+")
((triple10 ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The dog is young.
("dog" "is" "young" "+")
((((triple10 ((((((triple9) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
int5
The dog eats the lion.
("dog" "eats" "lion" "+")
((((((triple10 ((((((triple9) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int4
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int5
The tiger is young.
("tiger" "is" "young" "+")
int6
The dog eats the dog.
("dog" "eats" "dog" "+")
((((((((triple10 ((((((triple9) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog is big.
("dog" "is" "big" "+")
int4
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int5
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int6
The tiger is young.
("tiger" "is" "young" "+")
int7