The bear eats the dog. The bear is big. The bear is nice. The bear is red. The bear is rough. The bear sees the dog. The bear visits the dog. The dog eats the bear. The dog is nice. The dog sees the bear. If someone is young then they visit the dog. If someone is big then they see the bear. If the bear sees the dog and the bear is young then the dog sees the bear. If someone is red and young then they eat the bear. If someone sees the bear then they are young. If someone visits the bear and the bear is young then the bear eats the dog.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If someone is young then they visit the dog.
((("someone" "is" "young" "+")) -> ("someone" "visits" "dog" "+"))
If someone is big then they see the bear.
((("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
If the bear sees the dog and the bear is young then the dog sees the bear.
((("bear" "sees" "dog" "+") ("bear" "is" "young" "+")) -> ("dog" "sees" "bear" "+"))
If someone is red and young then they eat the bear.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "eats" "bear" "+"))
If someone sees the bear then they are young.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "young" "+"))
If someone visits the bear and the bear is young then the bear eats the dog.
((("someone" "visits" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "eats" "dog" "+"))
The dog eats the bear.
True
1
proof
[(triple8)]
("dog" "eats" "bear" "+")
triple8
The bear is not red.
False
1
inv-proof
[(triple4)]
("bear" "is" "red" "-")
triple4
The dog is young.
True
2
proof
[(((triple10) -> rule5) OR ((((triple6 ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule5))]
("dog" "is" "young" "+")
((triple10) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple6 ((((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
int4
The bear does not see the bear.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "sees" "bear" "-")
((triple2) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is young.
True
3
proof
[(((((triple2) -> rule2)) -> rule5))]
("bear" "is" "young" "+")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is not young.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule5))]
("bear" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear eats the bear.
True
5
proof
[(((triple4 ((((triple2) -> rule2)) -> rule5)) -> rule4))]
("bear" "eats" "bear" "+")
((triple4 ((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear does not eat the bear.
False
5
inv-proof
[(((triple4 ((((triple2) -> rule2)) -> rule5)) -> rule4))]
("bear" "eats" "bear" "-")
((triple4 ((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear sees the dog.[(triple6)] The bear visits the dog.[(triple7 OR ((((((triple2) -> rule2)) -> rule5)) -> rule1))] The dog eats the bear.[(triple8)] The dog is nice.[(triple9)] The dog sees the bear.[(triple10 OR ((triple6 ((((triple2) -> rule2)) -> rule5)) -> rule3))] @1: The bear sees the bear.[(((triple2) -> rule2))] The dog is young.[(((triple10) -> rule5) OR ((((triple6 ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule5))] @2: The bear is young.[(((((triple2) -> rule2)) -> rule5))] The dog visits the dog.[(((((triple10) -> rule5)) -> rule1) OR ((((((triple6 ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule5)) -> rule1))] @3: The bear eats the bear.[(((triple4 ((((triple2) -> rule2)) -> rule5)) -> rule4))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
((triple6 ((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple2) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple10) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple6 ((((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
int4
The bear is young.
("bear" "is" "young" "+")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((((triple6 ((((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog sees the bear.
("dog" "sees" "bear" "+")
int3
The bear is young.
("bear" "is" "young" "+")
int4
The bear sees the bear.
("bear" "sees" "bear" "+")
int5
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple4 ((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3