The lion chases the tiger. The lion eats the tiger. The lion is big. The lion is cold. The lion is young. The lion needs the tiger. The tiger is cold. The tiger is red. The tiger is young. The tiger needs the lion. If someone eats the lion then the lion eats the tiger. If the tiger is cold and the tiger eats the lion then the tiger is big. If someone chases the tiger then the tiger eats the lion. If someone needs the tiger then the tiger chases the lion. If someone chases the tiger then they chase the lion. If someone eats the tiger then they are green. If someone needs the lion then the lion eats the tiger. If someone is red then they need the lion.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If someone eats the lion then the lion eats the tiger.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
If the tiger is cold and the tiger eats the lion then the tiger is big.
((("tiger" "is" "cold" "+") ("tiger" "eats" "lion" "+")) -> ("tiger" "is" "big" "+"))
If someone chases the tiger then the tiger eats the lion.
((("someone" "chases" "tiger" "+")) -> ("tiger" "eats" "lion" "+"))
If someone needs the tiger then the tiger chases the lion.
((("someone" "needs" "tiger" "+")) -> ("tiger" "chases" "lion" "+"))
If someone chases the tiger then they chase the lion.
((("someone" "chases" "tiger" "+")) -> ("someone" "chases" "lion" "+"))
If someone eats the tiger then they are green.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "green" "+"))
If someone needs the lion then the lion eats the tiger.
((("someone" "needs" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
If someone is red then they need the lion.
((("someone" "is" "red" "+")) -> ("someone" "needs" "lion" "+"))
The lion is cold.
True
1
proof
[(triple4)]
("lion" "is" "cold" "+")
triple4
The tiger is not cold.
False
1
inv-proof
[(triple7)]
("tiger" "is" "cold" "-")
triple7
The lion chases the lion.
True
2
proof
[(((triple1) -> rule5))]
("lion" "chases" "lion" "+")
((triple1) -> (rule5 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The tiger does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule3))]
("tiger" "eats" "lion" "-")
((triple1) -> (rule3 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is big.
True
4
proof
[(((triple7 ((triple1) -> rule3)) -> rule2))]
("tiger" "is" "big" "+")
((triple7 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger is not big.
False
4
inv-proof
[(((triple7 ((triple1) -> rule3)) -> rule2))]
("tiger" "is" "big" "-")
((triple7 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "green" "-")
The lion needs the lion.
Unknown
rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "needs" "lion" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
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 eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The lion chases the tiger.[(triple1)] The lion eats the tiger.[(triple2 OR ((triple10) -> rule7) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple8) -> rule8)) -> rule7))] The lion is big.[(triple3)] The lion is cold.[(triple4)] The lion is young.[(triple5)] The lion needs the tiger.[(triple6)] The tiger is cold.[(triple7)] The tiger is red.[(triple8)] The tiger is young.[(triple9)] The tiger needs the lion.[(triple10 OR ((triple8) -> rule8))] @1: The lion chases the lion.[(((triple1) -> rule5))] The lion is green.[(((triple2) -> rule6) OR ((((triple10) -> rule7)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((((((triple8) -> rule8)) -> rule7)) -> rule6))] The tiger chases the lion.[(((triple6) -> rule4))] The tiger eats the lion.[(((triple1) -> rule3))] @2: The tiger is big.[(((triple7 ((triple1) -> rule3)) -> rule2))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple2
((triple10) -> (rule7 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2
((((triple8) -> (rule8 % int2))) -> (rule7 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple6
The tiger is cold.
("tiger" "is" "cold" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger is young.
("tiger" "is" "young" "+")
triple9
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple10
((triple8) -> (rule8 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple1) -> (rule5 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple2) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int2
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
The tiger chases the lion.
("tiger" "chases" "lion" "+")
((triple6) -> (rule4 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((triple1) -> (rule3 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple7 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int2