The bear chases the cat. The bear is round. The bear likes the dog. The bear sees the cat. The bear sees the dog. The cat chases the bear. The cat chases the dog. The cat likes the bear. The cat likes the dog. The cat sees the bear. The cat sees the dog. The dog chases the bear. The dog is kind. The dog is rough. The dog is young. If someone chases the bear then the bear is rough.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is young.
("dog" "is" "young" "+")
If someone chases the bear then the bear is rough.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "rough" "+"))
The dog is kind.
True
1
proof
[(triple13)]
("dog" "is" "kind" "+")
triple13
The bear does not see the dog.
False
1
inv-proof
[(triple5)]
("bear" "sees" "dog" "-")
triple5
The bear is rough.
True
2
proof
[(((triple12) -> rule1) OR ((triple6) -> rule1))]
("bear" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple6) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple12) -> rule1) OR ((triple6) -> rule1))]
("bear" "is" "rough" "-")
((triple12) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple6) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
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 chases the cat.
Unknown
random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "+")
@0: The bear chases the cat.[(triple1)] The bear is round.[(triple2)] The bear likes the dog.[(triple3)] The bear sees the cat.[(triple4)] The bear sees the dog.[(triple5)] The cat chases the bear.[(triple6)] The cat chases the dog.[(triple7)] The cat likes the bear.[(triple8)] The cat likes the dog.[(triple9)] The cat sees the bear.[(triple10)] The cat sees the dog.[(triple11)] The dog chases the bear.[(triple12)] The dog is kind.[(triple13)] The dog is rough.[(triple14)] The dog is young.[(triple15)] @1: The bear is rough.[(((triple12) -> rule1) OR ((triple6) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The bear sees the dog.
("bear" "sees" "dog" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat chases the dog.
("cat" "chases" "dog" "+")
triple7
The cat likes the bear.
("cat" "likes" "bear" "+")
triple8
The cat likes the dog.
("cat" "likes" "dog" "+")
triple9
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
The cat sees the dog.
("cat" "sees" "dog" "+")
triple11
The dog chases the bear.
("dog" "chases" "bear" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
triple13
The dog is rough.
("dog" "is" "rough" "+")
triple14
The dog is young.
("dog" "is" "young" "+")
triple15
The bear is rough.
("bear" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((triple6) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1