The bear is not kind. The bear sees the dog. The dog eats the bear. The dog is cold. The dog is not nice. The dog likes the bear. The dog sees the bear. If the bear likes the dog and the bear is not big then the dog is cold. If someone is nice then they do not see the dog. If someone eats the bear then they like the bear. If the bear eats the dog and the dog eats the bear then the dog sees the bear. If the dog likes the bear and the dog is cold then the bear eats the dog. If someone eats the dog and the dog sees the bear then they are cold.
The bear is not kind.
("bear" "is" "kind" "-")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If the bear likes the dog and the bear is not big then the dog is cold.
((("bear" "likes" "dog" "+") ("bear" "is" "big" "~")) -> ("dog" "is" "cold" "+"))
If someone is nice then they do not see the dog.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "dog" "-"))
If someone eats the bear then they like the bear.
((("someone" "eats" "bear" "+")) -> ("someone" "likes" "bear" "+"))
If the bear eats the dog and the dog eats the bear then the dog sees the bear.
((("bear" "eats" "dog" "+") ("dog" "eats" "bear" "+")) -> ("dog" "sees" "bear" "+"))
If the dog likes the bear and the dog is cold then the bear eats the dog.
((("dog" "likes" "bear" "+") ("dog" "is" "cold" "+")) -> ("bear" "eats" "dog" "+"))
If someone eats the dog and the dog sees the bear then they are cold.
((("someone" "eats" "dog" "+") ("dog" "sees" "bear" "+")) -> ("someone" "is" "cold" "+"))
The dog eats the bear.
True
1
proof
[(triple3)]
("dog" "eats" "bear" "+")
triple3
The dog does not see the bear.
False
1
inv-proof
[(triple7 OR ((((triple6 triple4) -> rule5) triple3) -> rule4) OR ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule4))]
("dog" "sees" "bear" "-")
triple7
((((triple6 triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
((((((triple3) -> (rule3 % int3)) triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear eats the dog.
True
3
proof
[(((triple6 triple4) -> rule5) OR ((((triple3) -> rule3) triple4) -> rule5))]
("bear" "eats" "dog" "+")
((triple6 triple4) -> (rule5 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear does not eat the dog.
False
3
inv-proof
[(((triple6 triple4) -> rule5) OR ((((triple3) -> rule3) triple4) -> rule5))]
("bear" "eats" "dog" "-")
((triple6 triple4) -> (rule5 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear is cold.
True
5
proof
[(((((triple6 triple4) -> rule5) triple7) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) triple7) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) ((((triple6 triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule4)) -> rule6))]
("bear" "is" "cold" "+")
((((triple6 triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
((((((triple3) -> (rule3 % int3)) triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
((((triple6 triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((((((triple3) -> (rule3 % int3)) triple4) -> (rule5 % int4)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear eats the dog.
("bear" "eats" "dog" "+")
int4
((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) ((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The bear is not cold.
False
5
inv-proof
[(((((triple6 triple4) -> rule5) triple7) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) triple7) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) ((((triple6 triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule4)) -> rule6))]
("bear" "is" "cold" "-")
((((triple6 triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
((((((triple3) -> (rule3 % int3)) triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
((((triple6 triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((((((triple3) -> (rule3 % int3)) triple4) -> (rule5 % int4)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear eats the dog.
("bear" "eats" "dog" "+")
int4
((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) ((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
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" "+")
@0: The bear is not kind.[(triple1)] The bear sees the dog.[(triple2)] The dog eats the bear.[(triple3)] The dog is cold.[(triple4)] The dog is not nice.[(triple5)] The dog likes the bear.[(triple6 OR ((triple3) -> rule3))] The dog sees the bear.[(triple7 OR ((((triple6 triple4) -> rule5) triple3) -> rule4) OR ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule4))] @1: The bear eats the dog.[(((triple6 triple4) -> rule5) OR ((((triple3) -> rule3) triple4) -> rule5))] @2: The bear is cold.[(((((triple6 triple4) -> rule5) triple7) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) triple7) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) ((((triple6 triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule3) triple4) -> rule5) ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule4)) -> rule6))]
The bear is not kind.
("bear" "is" "kind" "-")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The dog eats the bear.
("dog" "eats" "bear" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is not nice.
("dog" "is" "nice" "-")
triple5
The dog likes the bear.
("dog" "likes" "bear" "+")
triple6
((triple3) -> (rule3 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
((((triple6 triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
((((((triple3) -> (rule3 % int3)) triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple6 triple4) -> (rule5 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((((triple6 triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
((((((triple3) -> (rule3 % int3)) triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
((((triple6 triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((((((triple3) -> (rule3 % int3)) triple4) -> (rule5 % int4)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The bear eats the dog.
("bear" "eats" "dog" "+")
int4
((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) ((((((triple3) -> (rule3 % int4)) triple4) -> (rule5 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4