The bear chases the cat. The bear eats the squirrel. The bear is young. The cat chases the lion. The cat eats the lion. The cat is young. The lion eats the cat. The lion is nice. The squirrel chases the lion. The squirrel is nice. If the lion sees the bear and the lion eats the squirrel then the lion sees the squirrel. If the squirrel chases the cat then the squirrel is rough. If someone is blue and they see the bear then the bear eats the lion. If someone sees the cat then the cat is blue. If someone sees the bear and the bear chases the cat then they chase the cat. If someone eats the cat then they see the bear. If someone is blue then they see the bear. If someone eats the lion and the lion eats the cat then the lion sees the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is young.
("bear" "is" "young" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is young.
("cat" "is" "young" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is nice.
("lion" "is" "nice" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If the lion sees the bear and the lion eats the squirrel then the lion sees the squirrel.
((("lion" "sees" "bear" "+") ("lion" "eats" "squirrel" "+")) -> ("lion" "sees" "squirrel" "+"))
If the squirrel chases the cat then the squirrel is rough.
((("squirrel" "chases" "cat" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is blue and they see the bear then the bear eats the lion.
((("someone" "is" "blue" "+") ("someone" "sees" "bear" "+")) -> ("bear" "eats" "lion" "+"))
If someone sees the cat then the cat is blue.
((("someone" "sees" "cat" "+")) -> ("cat" "is" "blue" "+"))
If someone sees the bear and the bear chases the cat then they chase the cat.
((("someone" "sees" "bear" "+") ("bear" "chases" "cat" "+")) -> ("someone" "chases" "cat" "+"))
If someone eats the cat then they see the bear.
((("someone" "eats" "cat" "+")) -> ("someone" "sees" "bear" "+"))
If someone is blue then they see the bear.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bear" "+"))
If someone eats the lion and the lion eats the cat then the lion sees the cat.
((("someone" "eats" "lion" "+") ("lion" "eats" "cat" "+")) -> ("lion" "sees" "cat" "+"))
The lion eats the cat.
True
1
proof
[(triple7)]
("lion" "eats" "cat" "+")
triple7
The bear does not chase the cat.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cat" "-")
triple1
The lion sees the cat.
True
3
proof
[(((triple5 triple7) -> rule8))]
("lion" "sees" "cat" "+")
((triple5 triple7) -> (rule8 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The lion does not see the bear.
False
2
inv-proof
[(((triple7) -> rule6))]
("lion" "sees" "bear" "-")
((triple7) -> (rule6 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The lion chases the cat.
True
4
proof
[(((((triple7) -> rule6) triple1) -> rule5))]
("lion" "chases" "cat" "+")
((((triple7) -> (rule6 % int2)) triple1) -> (rule5 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion sees the bear.
("lion" "sees" "bear" "+")
int2
The cat is not blue.
False
4
inv-proof
[(((((triple5 triple7) -> rule8)) -> rule4))]
("cat" "is" "blue" "-")
((((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The lion sees the cat.
("lion" "sees" "cat" "+")
int2
The cat sees the bear.
True
5
proof
[(((((((triple5 triple7) -> rule8)) -> rule4)) -> rule7))]
("cat" "sees" "bear" "+")
((((((triple5 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The lion sees the cat.
("lion" "sees" "cat" "+")
int3
The cat does not see the bear.
False
5
inv-proof
[(((((((triple5 triple7) -> rule8)) -> rule4)) -> rule7))]
("cat" "sees" "bear" "-")
((((((triple5 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The lion sees the cat.
("lion" "sees" "cat" "+")
int3
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "bear" "-")
The squirrel chases the cat.
Unknown
rconc
[@2: The squirrel chases the cat.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("squirrel" "chases" "cat" "+")
The lion does not see the squirrel.
Unknown
inv-rconc
[@1: The lion sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "squirrel" "-")
The squirrel is rough.
Unknown
rconc
[@3: The squirrel is rough.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule6 <- FAIL)]]
("squirrel" "is" "rough" "+")
The bear does not chase the squirrel.
Unknown
inv-random
[@0: The bear chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "squirrel" "-")
The lion chases the squirrel.
Unknown
random
[@0: The lion chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "squirrel" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The squirrel eats the bear.
Unknown
random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is young.[(triple3)] The cat chases the lion.[(triple4)] The cat eats the lion.[(triple5)] The cat is young.[(triple6)] The lion eats the cat.[(triple7)] The lion is nice.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel is nice.[(triple10)] @1: The lion sees the bear.[(((triple7) -> rule6))] The lion sees the cat.[(((triple5 triple7) -> rule8))] @2: The cat is blue.[(((((triple5 triple7) -> rule8)) -> rule4))] The lion chases the cat.[(((((triple7) -> rule6) triple1) -> rule5))] @3: The cat sees the bear.[(((((((triple5 triple7) -> rule8)) -> rule4)) -> rule7))] @4: The bear eats the lion.[(((((((triple5 triple7) -> rule8)) -> rule4) ((((((triple5 triple7) -> rule8)) -> rule4)) -> rule7)) -> rule3))] The cat chases the cat.[(((((((((triple5 triple7) -> rule8)) -> rule4)) -> rule7) triple1) -> rule5))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The cat chases the lion.
("cat" "chases" "lion" "+")
triple4
The cat eats the lion.
("cat" "eats" "lion" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The lion eats the cat.
("lion" "eats" "cat" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The lion sees the bear.
("lion" "sees" "bear" "+")
((triple7) -> (rule6 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The lion sees the cat.
("lion" "sees" "cat" "+")
((triple5 triple7) -> (rule8 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((((triple5 triple7) -> (rule8 % int2))) -> (rule4 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The lion sees the cat.
("lion" "sees" "cat" "+")
int2
The lion chases the cat.
("lion" "chases" "cat" "+")
((((triple7) -> (rule6 % int2)) triple1) -> (rule5 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion sees the bear.
("lion" "sees" "bear" "+")
int2
The cat sees the bear.
("cat" "sees" "bear" "+")
((((((triple5 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The lion sees the cat.
("lion" "sees" "cat" "+")
int3
The bear eats the lion.
("bear" "eats" "lion" "+")
((((((triple5 triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple5 triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The lion sees the cat.
("lion" "sees" "cat" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
((((((((triple5 triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The lion sees the cat.
("lion" "sees" "cat" "+")
int4