The bear chases the dog. The bear chases the rabbit. The bear is nice. The bear is red. The bear likes the dog. The bear likes the rabbit. The bear visits the rabbit. The dog chases the rabbit. The dog is kind. The dog is rough. The dog likes the bear. The dog likes the rabbit. The dog visits the bear. The rabbit chases the bear. The rabbit is red. If someone is rough and they chase the dog then the dog likes the rabbit.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If someone is rough and they chase the dog then the dog likes the rabbit.
((("someone" "is" "rough" "+") ("someone" "chases" "dog" "+")) -> ("dog" "likes" "rabbit" "+"))
The dog chases the rabbit.
True
1
proof
[(triple8)]
("dog" "chases" "rabbit" "+")
triple8
The dog is not kind.
False
1
inv-proof
[(triple9)]
("dog" "is" "kind" "-")
triple9
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear likes the dog.[(triple5)] The bear likes the rabbit.[(triple6)] The bear visits the rabbit.[(triple7)] The dog chases the rabbit.[(triple8)] The dog is kind.[(triple9)] The dog is rough.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the rabbit.[(triple12)] The dog visits the bear.[(triple13)] The rabbit chases the bear.[(triple14)] The rabbit is red.[(triple15)]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple6
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple7
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple12
The dog visits the bear.
("dog" "visits" "bear" "+")
triple13
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple15