The bear chases the dog. The bear chases the mouse. The bear is big. The bear likes the dog. The bear likes the mouse. The bear sees the dog. The bear sees the mouse. The dog chases the bear. The dog is big. The dog is blue. The dog is not nice. The dog likes the mouse. The dog does not see the mouse. The mouse chases the bear. The mouse likes the dog. The mouse sees the bear. If someone chases the mouse then they like the bear. If someone is young and they like the dog then they see the bear. If someone likes the bear and they are big then they see the bear. If someone sees the dog and they chase the bear then the bear does not like the dog. If someone is blue and not nice then they are big. If someone chases the dog then the dog chases the mouse.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If someone chases the mouse then they like the bear.
((("someone" "chases" "mouse" "+")) -> ("someone" "likes" "bear" "+"))
If someone is young and they like the dog then they see the bear.
((("someone" "is" "young" "+") ("someone" "likes" "dog" "+")) -> ("someone" "sees" "bear" "+"))
If someone likes the bear and they are big then they see the bear.
((("someone" "likes" "bear" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the dog and they chase the bear then the bear does not like the dog.
((("someone" "sees" "dog" "+") ("someone" "chases" "bear" "+")) -> ("bear" "likes" "dog" "-"))
If someone is blue and not nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "big" "+"))
If someone chases the dog then the dog chases the mouse.
((("someone" "chases" "dog" "+")) -> ("dog" "chases" "mouse" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The bear does not chase the dog.
False
1
inv-proof
[(triple1)]
("bear" "chases" "dog" "-")
triple1
The bear likes the bear.
True
2
proof
[(((triple2) -> rule1))]
("bear" "likes" "bear" "+")
((triple2) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "likes" "bear" "-")
((triple2) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear sees the bear.
True
4
proof
[(((((triple2) -> rule1) triple3) -> rule3))]
("bear" "sees" "bear" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The dog does not like the bear.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1))]
("dog" "likes" "bear" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int2
The dog sees the bear.
True
5
proof
[(((((((triple1) -> rule6)) -> rule1) triple9) -> rule3) OR ((((((triple1) -> rule6)) -> rule1) ((triple10 triple11) -> rule5)) -> rule3))]
("dog" "sees" "bear" "+")
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int3
((((((triple1) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10 triple11) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int4
The dog does not see the bear.
False
5
inv-proof
[(((((((triple1) -> rule6)) -> rule1) triple9) -> rule3) OR ((((((triple1) -> rule6)) -> rule1) ((triple10 triple11) -> rule5)) -> rule3))]
("dog" "sees" "bear" "-")
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int3
((((((triple1) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10 triple11) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int4
The mouse does not like the bear.
Unknown
inv-rconc
[@1: The mouse likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "bear" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "big" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the mouse.[(triple2)] The bear is big.[(triple3)] The bear likes the dog.[(triple4)] The bear likes the mouse.[(triple5)] The bear sees the dog.[(triple6)] The bear sees the mouse.[(triple7)] The dog chases the bear.[(triple8)] The dog does not see the mouse.[(triple13)] The dog is big.[(triple9 OR ((triple10 triple11) -> rule5))] The dog is blue.[(triple10)] The dog is not nice.[(triple11)] The dog likes the mouse.[(triple12)] The mouse chases the bear.[(triple14)] The mouse likes the dog.[(triple15)] The mouse sees the bear.[(triple16)] @1: The bear likes the bear.[(((triple2) -> rule1))] The dog chases the mouse.[(((triple1) -> rule6))] @2: The bear sees the bear.[(((((triple2) -> rule1) triple3) -> rule3))] The dog likes the bear.[(((((triple1) -> rule6)) -> rule1))] @3: The dog sees the bear.[(((((((triple1) -> rule6)) -> rule1) triple9) -> rule3) OR ((((((triple1) -> rule6)) -> rule1) ((triple10 triple11) -> rule5)) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple7
The dog chases the bear.
("dog" "chases" "bear" "+")
triple8
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
triple13
The dog is big.
("dog" "is" "big" "+")
triple9
((triple10 triple11) -> (rule5 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog is not nice.
("dog" "is" "nice" "-")
triple11
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple12
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple14
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple15
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple16
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
((triple1) -> (rule6 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int2
The dog sees the bear.
("dog" "sees" "bear" "+")
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int3
((((((triple1) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10 triple11) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int4