The bear is not kind. The bear visits the dog. The dog is kind. The dog is young. The dog does not need the bear. The dog needs the rabbit. The dog sees the bear. The dog sees the rabbit. The dog visits the bear. The dog visits the rabbit. The rabbit is big. The rabbit is young. The rabbit needs the dog. The rabbit sees the bear. The rabbit does not visit the bear. The rabbit visits the dog. If the bear needs the dog then the bear does not see the dog. If someone is kind then they do not see the dog.
The bear is not kind.
("bear" "is" "kind" "-")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not need the bear.
("dog" "needs" "bear" "-")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit does not visit the bear.
("rabbit" "visits" "bear" "-")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If the bear needs the dog then the bear does not see the dog.
((("bear" "needs" "dog" "+")) -> ("bear" "sees" "dog" "-"))
If someone is kind then they do not see the dog.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "dog" "-"))
The dog is young.
True
1
proof
[(triple4)]
("dog" "is" "young" "+")
triple4
The dog does not visit the bear.
False
1
inv-proof
[(triple9)]
("dog" "visits" "bear" "-")
triple9
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear is not kind.[(triple1)] The bear visits the dog.[(triple2)] The dog does not need the bear.[(triple5)] The dog is kind.[(triple3)] The dog is young.[(triple4)] The dog needs the rabbit.[(triple6)] The dog sees the bear.[(triple7)] The dog sees the rabbit.[(triple8)] The dog visits the bear.[(triple9)] The dog visits the rabbit.[(triple10)] The rabbit does not visit the bear.[(triple15)] The rabbit is big.[(triple11)] The rabbit is young.[(triple12)] The rabbit needs the dog.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit visits the dog.[(triple16)] @1: The dog does not see the dog.[(((triple3) -> rule2))]
The bear is not kind.
("bear" "is" "kind" "-")
triple1
The bear visits the dog.
("bear" "visits" "dog" "+")
triple2
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple8
The dog visits the bear.
("dog" "visits" "bear" "+")
triple9
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple10
The rabbit does not visit the bear.
("rabbit" "visits" "bear" "-")
triple15
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is young.
("rabbit" "is" "young" "+")
triple12
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple13
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple14
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple16
The dog does not see the dog.
("dog" "sees" "dog" "-")
((triple3) -> (rule2 % int1))
The dog does not see the dog.
("dog" "sees" "dog" "-")
int1