The bear chases the lion. The bear eats the cow. The bear sees the lion. The cow chases the lion. The cow sees the bear. The lion chases the bear. The lion is red. The lion is rough. The lion sees the cow. The squirrel eats the bear. If something is big and it sees the bear then it eats the lion. If something eats the lion then the lion eats the squirrel. If something chases the cow then the cow chases the squirrel. If something chases the bear then it chases the squirrel. If something sees the cow then the cow is big. If something eats the lion then the lion eats the bear. If something eats the cow and the cow eats the squirrel then the cow eats the lion. If something chases the lion and it sees the lion then the lion chases the bear. If something eats the squirrel then it chases the cow.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
If something is big and it sees the bear then it eats the lion.
((("something" "is" "big" "+") ("something" "sees" "bear" "+")) -> ("something" "eats" "lion" "+"))
If something eats the lion then the lion eats the squirrel.
((("something" "eats" "lion" "+")) -> ("lion" "eats" "squirrel" "+"))
If something chases the cow then the cow chases the squirrel.
((("something" "chases" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
If something chases the bear then it chases the squirrel.
((("something" "chases" "bear" "+")) -> ("something" "chases" "squirrel" "+"))
If something sees the cow then the cow is big.
((("something" "sees" "cow" "+")) -> ("cow" "is" "big" "+"))
If something eats the lion then the lion eats the bear.
((("something" "eats" "lion" "+")) -> ("lion" "eats" "bear" "+"))
If something eats the cow and the cow eats the squirrel then the cow eats the lion.
((("something" "eats" "cow" "+") ("cow" "eats" "squirrel" "+")) -> ("cow" "eats" "lion" "+"))
If something chases the lion and it sees the lion then the lion chases the bear.
((("something" "chases" "lion" "+") ("something" "sees" "lion" "+")) -> ("lion" "chases" "bear" "+"))
If something eats the squirrel then it chases the cow.
((("something" "eats" "squirrel" "+")) -> ("something" "chases" "cow" "+"))
The lion chases the bear.
True
1
proof
[(triple6 OR ((triple1 triple3) -> rule8))]
("lion" "chases" "bear" "+")
triple6
((triple1 triple3) -> (rule8 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The cow does not chase the lion.
False
1
inv-proof
[(triple4)]
("cow" "chases" "lion" "-")
triple4
The cow is big.
True
2
proof
[(((triple9) -> rule5))]
("cow" "is" "big" "+")
((triple9) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The lion does not chase the squirrel.
False
2
inv-proof
[(((triple6) -> rule4) OR ((((triple1 triple3) -> rule8)) -> rule4))]
("lion" "chases" "squirrel" "-")
((triple6) -> (rule4 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
((((triple1 triple3) -> (rule8 % int2))) -> (rule4 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The cow eats the lion.
True
4
proof
[(((((triple9) -> rule5) triple5) -> rule1))]
("cow" "eats" "lion" "+")
((((triple9) -> (rule5 % int2)) triple5) -> (rule1 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow does not eat the lion.
False
4
inv-proof
[(((((triple9) -> rule5) triple5) -> rule1))]
("cow" "eats" "lion" "-")
((((triple9) -> (rule5 % int2)) triple5) -> (rule1 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The lion eats the bear.
True
5
proof
[(((((((triple9) -> rule5) triple5) -> rule1)) -> rule6))]
("lion" "eats" "bear" "+")
((((((triple9) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule6 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The lion does not eat the squirrel.
False
5
inv-proof
[(((((((triple9) -> rule5) triple5) -> rule1)) -> rule2))]
("lion" "eats" "squirrel" "-")
((((((triple9) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The lion chases the cow.
True
6
proof
[(((((((((triple9) -> rule5) triple5) -> rule1)) -> rule2)) -> rule9))]
("lion" "chases" "cow" "+")
((((((((triple9) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The lion does not chase the cow.
False
6
inv-proof
[(((((((((triple9) -> rule5) triple5) -> rule1)) -> rule2)) -> rule9))]
("lion" "chases" "cow" "-")
((((((((triple9) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The cow chases the squirrel.
True
7
proof
[(((((((((((triple9) -> rule5) triple5) -> rule1)) -> rule2)) -> rule9)) -> rule3))]
("cow" "chases" "squirrel" "+")
((((((((((triple9) -> (rule5 % int5)) triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The cow does not chase the squirrel.
False
7
inv-proof
[(((((((((((triple9) -> rule5) triple5) -> rule1)) -> rule2)) -> rule9)) -> rule3))]
("cow" "chases" "squirrel" "-")
((((((((((triple9) -> (rule5 % int5)) triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The bear does not chase the squirrel.
Unknown
inv-rconc
[@1: The bear chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "squirrel" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "lion" "+")
The squirrel does not chase the cow.
Unknown
inv-rconc
[@1: The squirrel chases the cow.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("squirrel" "chases" "cow" "-")
The bear eats the lion.
Unknown
rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "lion" "+")
The squirrel does not eat the lion.
Unknown
inv-rconc
[@1: The squirrel eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "lion" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel does not see the bear.
Unknown
inv-random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "-")
The cow chases the bear.
Unknown
random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
@0: The bear chases the lion.[(triple1)] The bear eats the cow.[(triple2)] The bear sees the lion.[(triple3)] The cow chases the lion.[(triple4)] The cow sees the bear.[(triple5)] The lion chases the bear.[(triple6 OR ((triple1 triple3) -> rule8))] The lion is red.[(triple7)] The lion is rough.[(triple8)] The lion sees the cow.[(triple9)] The squirrel eats the bear.[(triple10)] @1: The cow is big.[(((triple9) -> rule5))] The lion chases the squirrel.[(((triple6) -> rule4) OR ((((triple1 triple3) -> rule8)) -> rule4))] @2: The cow eats the lion.[(((((triple9) -> rule5) triple5) -> rule1))] @3: The lion eats the bear.[(((((((triple9) -> rule5) triple5) -> rule1)) -> rule6))] The lion eats the squirrel.[(((((((triple9) -> rule5) triple5) -> rule1)) -> rule2))] @4: The lion chases the cow.[(((((((((triple9) -> rule5) triple5) -> rule1)) -> rule2)) -> rule9))] @5: The cow chases the squirrel.[(((((((((((triple9) -> rule5) triple5) -> rule1)) -> rule2)) -> rule9)) -> rule3))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The bear sees the lion.
("bear" "sees" "lion" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow sees the bear.
("cow" "sees" "bear" "+")
triple5
The lion chases the bear.
("lion" "chases" "bear" "+")
triple6
((triple1 triple3) -> (rule8 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is red.
("lion" "is" "red" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion sees the cow.
("lion" "sees" "cow" "+")
triple9
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
((triple9) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((triple6) -> (rule4 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
((((triple1 triple3) -> (rule8 % int2))) -> (rule4 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
((((triple9) -> (rule5 % int2)) triple5) -> (rule1 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The lion eats the bear.
("lion" "eats" "bear" "+")
((((((triple9) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule6 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
((((((triple9) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The lion chases the cow.
("lion" "chases" "cow" "+")
((((((((triple9) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((((((((((triple9) -> (rule5 % int5)) triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5