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