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