The bear chases the lion. The bear eats the tiger. The bear is round. The bear sees the cat. The bear sees the tiger. The cat eats the lion. The lion chases the cat. The lion chases the tiger. The lion is blue. The tiger is green. If the tiger is red and the tiger sees the bear then the bear chases the lion. If someone eats the lion and they see the bear then they chase the cat. If someone chases the cat then the cat sees the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is round.
("bear" "is" "round" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
If the tiger is red and the tiger sees the bear then the bear chases the lion.
((("tiger" "is" "red" "+") ("tiger" "sees" "bear" "+")) -> ("bear" "chases" "lion" "+"))
If someone eats the lion and they see the bear then they chase the cat.
((("someone" "eats" "lion" "+") ("someone" "sees" "bear" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the cat then the cat sees the bear.
((("someone" "chases" "cat" "+")) -> ("cat" "sees" "bear" "+"))
The tiger is green.
True
1
proof
[(triple10)]
("tiger" "is" "green" "+")
triple10
The bear does not chase the lion.
False
1
inv-proof
[(triple1)]
("bear" "chases" "lion" "-")
triple1
The cat sees the bear.
True
2
proof
[(((triple7) -> rule3))]
("cat" "sees" "bear" "+")
((triple7) -> (rule3 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat does not see the bear.
False
2
inv-proof
[(((triple7) -> rule3))]
("cat" "sees" "bear" "-")
((triple7) -> (rule3 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat chases the cat.
True
4
proof
[(((triple6 ((triple7) -> rule3)) -> rule2))]
("cat" "chases" "cat" "+")
((triple6 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2
The cat does not chase the cat.
False
4
inv-proof
[(((triple6 ((triple7) -> rule3)) -> rule2))]
("cat" "chases" "cat" "-")
((triple6 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "cat" "-")
The tiger chases the cat.
Unknown
rconc
[@1: The tiger chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "cat" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat sees the tiger.
Unknown
random
[@0: The cat sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "tiger" "+")
The cat does not see the lion.
Unknown
inv-random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bear chases the lion.[(triple1)] The bear eats the tiger.[(triple2)] The bear is round.[(triple3)] The bear sees the cat.[(triple4)] The bear sees the tiger.[(triple5)] The cat eats the lion.[(triple6)] The lion chases the cat.[(triple7)] The lion chases the tiger.[(triple8)] The lion is blue.[(triple9)] The tiger is green.[(triple10)] @1: The cat sees the bear.[(((triple7) -> rule3))] @2: The cat chases the cat.[(((triple6 ((triple7) -> rule3)) -> rule2))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple5
The cat eats the lion.
("cat" "eats" "lion" "+")
triple6
The lion chases the cat.
("lion" "chases" "cat" "+")
triple7
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The cat sees the bear.
("cat" "sees" "bear" "+")
((triple7) -> (rule3 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple6 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
int2