The bear is big. The bear is green. The bear is rough. The bear is round. The bear needs the mouse. The bear sees the mouse. The bear visits the mouse. The dog is blue. The dog is green. The dog needs the mouse. The dog visits the bear. The dog visits the mouse. The mouse is big. The mouse needs the bear. The mouse needs the dog. The mouse sees the dog. If someone needs the mouse and the mouse needs the bear then the bear sees the dog. If someone needs the mouse and they see the dog then the mouse is round. If someone visits the bear and they see the bear then the bear sees the dog.
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone needs the mouse and the mouse needs the bear then the bear sees the dog.
((("someone" "needs" "mouse" "+") ("mouse" "needs" "bear" "+")) -> ("bear" "sees" "dog" "+"))
If someone needs the mouse and they see the dog then the mouse is round.
((("someone" "needs" "mouse" "+") ("someone" "sees" "dog" "+")) -> ("mouse" "is" "round" "+"))
If someone visits the bear and they see the bear then the bear sees the dog.
((("someone" "visits" "bear" "+") ("someone" "sees" "bear" "+")) -> ("bear" "sees" "dog" "+"))
The bear is rough.
True
1
proof
[(triple3)]
("bear" "is" "rough" "+")
triple3
The dog is not green.
False
1
inv-proof
[(triple9)]
("dog" "is" "green" "-")
triple9
The bear sees the dog.
True
3
proof
[(((triple10 triple14) -> rule1) OR ((triple5 triple14) -> rule1))]
("bear" "sees" "dog" "+")
((triple10 triple14) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
((triple5 triple14) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The bear does not see the dog.
False
3
inv-proof
[(((triple10 triple14) -> rule1) OR ((triple5 triple14) -> rule1))]
("bear" "sees" "dog" "-")
((triple10 triple14) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
((triple5 triple14) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
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 mouse visits the bear.
Unknown
random
[@0: The mouse visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bear" "+")
The bear does not visit the dog.
Unknown
inv-random
[@0: The bear visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "dog" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear needs the mouse.[(triple5)] The bear sees the mouse.[(triple6)] The bear visits the mouse.[(triple7)] The dog is blue.[(triple8)] The dog is green.[(triple9)] The dog needs the mouse.[(triple10)] The dog visits the bear.[(triple11)] The dog visits the mouse.[(triple12)] The mouse is big.[(triple13)] The mouse needs the bear.[(triple14)] The mouse needs the dog.[(triple15)] The mouse sees the dog.[(triple16)] @1: The bear sees the dog.[(((triple10 triple14) -> rule1) OR ((triple5 triple14) -> rule1))] @2: The mouse is round.[(((triple5 ((triple10 triple14) -> rule1)) -> rule2) OR ((triple5 ((triple5 triple14) -> rule1)) -> rule2))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple5
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple6
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple10
The dog visits the bear.
("dog" "visits" "bear" "+")
triple11
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
triple13
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple14
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple15
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple16
The bear sees the dog.
("bear" "sees" "dog" "+")
((triple10 triple14) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
((triple5 triple14) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((triple5 ((triple10 triple14) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2
((triple5 ((triple5 triple14) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
int2