The cow is blue. The cow is round. The cow sees the dog. The cow visits the rabbit. The cow visits the tiger. The dog needs the rabbit. The rabbit needs the cow. The rabbit sees the cow. The tiger is red. The tiger is rough. The tiger is round. The tiger is young. The tiger needs the cow. The tiger sees the dog. The tiger visits the dog. The tiger visits the rabbit. If the tiger needs the rabbit then the tiger is red.
The cow is blue.
("cow" "is" "blue" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If the tiger needs the rabbit then the tiger is red.
((("tiger" "needs" "rabbit" "+")) -> ("tiger" "is" "red" "+"))
The tiger is red.
True
1
proof
[(triple9)]
("tiger" "is" "red" "+")
triple9
The cow does not visit the rabbit.
False
1
inv-proof
[(triple4)]
("cow" "visits" "rabbit" "-")
triple4
The tiger does not see the rabbit.
Unknown
inv-random
[@0: The tiger sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "rabbit" "-")
The dog visits the cow.
Unknown
random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "+")
@0: The cow is blue.[(triple1)] The cow is round.[(triple2)] The cow sees the dog.[(triple3)] The cow visits the rabbit.[(triple4)] The cow visits the tiger.[(triple5)] The dog needs the rabbit.[(triple6)] The rabbit needs the cow.[(triple7)] The rabbit sees the cow.[(triple8)] The tiger is red.[(triple9)] The tiger is rough.[(triple10)] The tiger is round.[(triple11)] The tiger is young.[(triple12)] The tiger needs the cow.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the dog.[(triple15)] The tiger visits the rabbit.[(triple16)]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow sees the dog.
("cow" "sees" "dog" "+")
triple3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple4
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple5
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple7
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple13
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple14
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple15
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple16