The bear chases the tiger. The bear is green. The dog chases the squirrel. The dog is big. The dog is cold. The dog is kind. The dog sees the squirrel. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel needs the dog. The squirrel needs the tiger. The squirrel sees the dog. The tiger chases the bear. The tiger is big. If someone needs the bear and the bear is nice then they are cold. If someone is big and they chase the squirrel then the squirrel chases the bear. If someone chases the squirrel then the squirrel chases the dog. If the dog needs the bear then the bear needs the tiger. If someone chases the dog then the dog needs the bear. If the squirrel needs the bear then the bear sees the squirrel. If the bear chases the dog then the dog is nice. If someone needs the squirrel then they see the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is green.
("bear" "is" "green" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
If someone needs the bear and the bear is nice then they are cold.
((("someone" "needs" "bear" "+") ("bear" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and they chase the squirrel then the squirrel chases the bear.
((("someone" "is" "big" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "bear" "+"))
If someone chases the squirrel then the squirrel chases the dog.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
If the dog needs the bear then the bear needs the tiger.
((("dog" "needs" "bear" "+")) -> ("bear" "needs" "tiger" "+"))
If someone chases the dog then the dog needs the bear.
((("someone" "chases" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If the squirrel needs the bear then the bear sees the squirrel.
((("squirrel" "needs" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
If the bear chases the dog then the dog is nice.
((("bear" "chases" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone needs the squirrel then they see the tiger.
((("someone" "needs" "squirrel" "+")) -> ("someone" "sees" "tiger" "+"))
The squirrel needs the dog.
True
1
proof
[(triple12)]
("squirrel" "needs" "dog" "+")
triple12
The tiger does not chase the bear.
False
1
inv-proof
[(triple15)]
("tiger" "chases" "bear" "-")
triple15
The squirrel chases the bear.
True
3
proof
[(((triple4 triple3) -> rule2))]
("squirrel" "chases" "bear" "+")
((triple4 triple3) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel does not chase the bear.
False
3
inv-proof
[(((triple4 triple3) -> rule2))]
("squirrel" "chases" "bear" "-")
((triple4 triple3) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The dog needs the bear.
True
3
proof
[(((((triple3) -> rule3)) -> rule5))]
("dog" "needs" "bear" "+")
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The dog does not need the bear.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule5))]
("dog" "needs" "bear" "-")
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The bear needs the tiger.
True
4
proof
[(((((((triple3) -> rule3)) -> rule5)) -> rule4))]
("bear" "needs" "tiger" "+")
((((((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int3
The bear does not need the tiger.
False
4
inv-proof
[(((((((triple3) -> rule3)) -> rule5)) -> rule4))]
("bear" "needs" "tiger" "-")
((((((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int3
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "-")
The bear sees the tiger.
Unknown
rconc
[@1: The bear sees the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "sees" "tiger" "+")
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "nice" "-")
The tiger is cold.
Unknown
rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "cold" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The dog does not need the squirrel.
Unknown
inv-random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bear chases the tiger.[(triple1)] The bear is green.[(triple2)] The dog chases the squirrel.[(triple3)] The dog is big.[(triple4)] The dog is cold.[(triple5)] The dog is kind.[(triple6)] The dog sees the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel needs the dog.[(triple12)] The squirrel needs the tiger.[(triple13)] The squirrel sees the dog.[(triple14)] The tiger chases the bear.[(triple15)] The tiger is big.[(triple16)] @1: The squirrel chases the bear.[(((triple4 triple3) -> rule2))] The squirrel chases the dog.[(((triple3) -> rule3))] @2: The dog needs the bear.[(((((triple3) -> rule3)) -> rule5))] @3: The bear needs the tiger.[(((((((triple3) -> rule3)) -> rule5)) -> rule4))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple12
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple13
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple14
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple15
The tiger is big.
("tiger" "is" "big" "+")
triple16
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple4 triple3) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple3) -> (rule3 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
((((((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int3