The bear eats the cat. The bear eats the squirrel. The bear eats the tiger. The bear is red. The cat eats the squirrel. The squirrel chases the bear. The squirrel chases the cat. The squirrel eats the bear. The squirrel is nice. The squirrel is round. The tiger chases the bear. The tiger does not chase the cat. The tiger does not eat the cat. The tiger is big. The tiger is not round. If something sees the cat then the cat chases the bear. If something sees the cat and the cat is round then the cat is not nice. If the bear sees the squirrel and the squirrel chases the tiger then the tiger chases the squirrel. If something eats the bear then the bear sees the tiger. If something eats the bear then the bear sees the cat. If something chases the bear and it does not chase the tiger then the tiger chases the bear.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is red.
("bear" "is" "red" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not round.
("tiger" "is" "round" "-")
If something sees the cat then the cat chases the bear.
((("something" "sees" "cat" "+")) -> ("cat" "chases" "bear" "+"))
If something sees the cat and the cat is round then the cat is not nice.
((("something" "sees" "cat" "+") ("cat" "is" "round" "+")) -> ("cat" "is" "nice" "-"))
If the bear sees the squirrel and the squirrel chases the tiger then the tiger chases the squirrel.
((("bear" "sees" "squirrel" "+") ("squirrel" "chases" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If something eats the bear then the bear sees the tiger.
((("something" "eats" "bear" "+")) -> ("bear" "sees" "tiger" "+"))
If something eats the bear then the bear sees the cat.
((("something" "eats" "bear" "+")) -> ("bear" "sees" "cat" "+"))
If something chases the bear and it does not chase the tiger then the tiger chases the bear.
((("something" "chases" "bear" "+") ("something" "chases" "tiger" "~")) -> ("tiger" "chases" "bear" "+"))
The squirrel eats the bear.
True
1
proof
[(triple8)]
("squirrel" "eats" "bear" "+")
triple8
The tiger does not chase the bear.
False
1
inv-proof
[(triple11)]
("tiger" "chases" "bear" "-")
triple11
The bear sees the tiger.
True
2
proof
[(((triple8) -> rule4))]
("bear" "sees" "tiger" "+")
((triple8) -> (rule4 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The bear does not see the tiger.
False
2
inv-proof
[(((triple8) -> rule4))]
("bear" "sees" "tiger" "-")
((triple8) -> (rule4 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The cat chases the bear.
True
3
proof
[(((((triple8) -> rule5)) -> rule1))]
("cat" "chases" "bear" "+")
((((triple8) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2
The cat does not chase the bear.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule1))]
("cat" "chases" "bear" "-")
((((triple8) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2
The tiger does not chase the squirrel.
Unknown
inv-rconc
[@1: The tiger chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The cat eats the bear.
Unknown
random
[@0: The cat eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bear" "+")
The cat does not eat the tiger.
Unknown
inv-random
[@0: The cat eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "tiger" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bear eats the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The bear eats the tiger.[(triple3)] The bear is red.[(triple4)] The cat eats the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is nice.[(triple9)] The squirrel is round.[(triple10)] The tiger chases the bear.[(triple11)] The tiger does not chase the cat.[(triple12)] The tiger does not eat the cat.[(triple13)] The tiger is big.[(triple14)] The tiger is not round.[(triple15)] @1: The bear sees the cat.[(((triple8) -> rule5))] The bear sees the tiger.[(((triple8) -> rule4))] @2: The cat chases the bear.[(((((triple8) -> rule5)) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple7
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple11
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
triple12
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
triple13
The tiger is big.
("tiger" "is" "big" "+")
triple14
The tiger is not round.
("tiger" "is" "round" "-")
triple15
The bear sees the cat.
("bear" "sees" "cat" "+")
((triple8) -> (rule5 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
((triple8) -> (rule4 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
((((triple8) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
int2