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