The bear chases the lion. The bear is green. The bear is red. The bear needs the lion. The bear visits the lion. The lion chases the bear. The lion is blue. The lion is cold. The lion is green. The lion visits the bear. If something visits the lion then it is big. If something is cold then it visits the lion. If the lion is blue and the lion is big then the lion is red. If the bear chases the lion then the bear visits the lion. If something is red then it needs the lion. If something chases the bear and it is blue then the bear is green.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something visits the lion then it is big.
((("something" "visits" "lion" "+")) -> ("something" "is" "big" "+"))
If something is cold then it visits the lion.
((("something" "is" "cold" "+")) -> ("something" "visits" "lion" "+"))
If the lion is blue and the lion is big then the lion is red.
((("lion" "is" "blue" "+") ("lion" "is" "big" "+")) -> ("lion" "is" "red" "+"))
If the bear chases the lion then the bear visits the lion.
((("bear" "chases" "lion" "+")) -> ("bear" "visits" "lion" "+"))
If something is red then it needs the lion.
((("something" "is" "red" "+")) -> ("something" "needs" "lion" "+"))
If something chases the bear and it is blue then the bear is green.
((("something" "chases" "bear" "+") ("something" "is" "blue" "+")) -> ("bear" "is" "green" "+"))
The lion is green.
True
1
proof
[(triple9)]
("lion" "is" "green" "+")
triple9
The bear does not need the lion.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule5))]
("bear" "needs" "lion" "-")
triple4
((triple3) -> (rule5 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear is big.
True
2
proof
[(((triple5) -> rule1) OR ((((triple1) -> rule4)) -> rule1))]
("bear" "is" "big" "+")
((triple5) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The bear is not big.
False
2
inv-proof
[(((triple5) -> rule1) OR ((((triple1) -> rule4)) -> rule1))]
("bear" "is" "big" "-")
((triple5) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The lion is big.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("lion" "is" "big" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is not big.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("lion" "is" "big" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is red.
True
5
proof
[(((triple7 ((((triple8) -> rule2)) -> rule1)) -> rule3))]
("lion" "is" "red" "+")
((triple7 ((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
int3
The lion is not red.
False
5
inv-proof
[(((triple7 ((((triple8) -> rule2)) -> rule1)) -> rule3))]
("lion" "is" "red" "-")
((triple7 ((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
int3
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The lion does not need the bear.
Unknown
inv-random
[@0: The lion needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the lion.[(triple1)] The bear is green.[(triple2 OR ((triple6 triple7) -> rule6))] The bear is red.[(triple3)] The bear needs the lion.[(triple4 OR ((triple3) -> rule5))] The bear visits the lion.[(triple5 OR ((triple1) -> rule4))] The lion chases the bear.[(triple6)] The lion is blue.[(triple7)] The lion is cold.[(triple8)] The lion is green.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear is big.[(((triple5) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] The lion visits the lion.[(((triple8) -> rule2))] @2: The lion is big.[(((((triple8) -> rule2)) -> rule1))] @3: The lion is red.[(((triple7 ((((triple8) -> rule2)) -> rule1)) -> rule3))] @4: The lion needs the lion.[(((((triple7 ((((triple8) -> rule2)) -> rule1)) -> rule3)) -> rule5))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
((triple6 triple7) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is red.
("bear" "is" "red" "+")
triple3
The bear needs the lion.
("bear" "needs" "lion" "+")
triple4
((triple3) -> (rule5 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
triple5
((triple1) -> (rule4 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion visits the bear.
("lion" "visits" "bear" "+")
triple10
The bear is big.
("bear" "is" "big" "+")
((triple5) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear visits the lion.
("bear" "visits" "lion" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple8) -> (rule2 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is red.
("lion" "is" "red" "+")
((triple7 ((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
int3
The lion needs the lion.
("lion" "needs" "lion" "+")
((((triple7 ((((triple8) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
The lion visits the lion.
("lion" "visits" "lion" "+")
int4