The dog chases the tiger. The dog is cold. The dog is green. The dog is kind. The dog is nice. The dog is not rough. The dog likes the tiger. The dog needs the tiger. The tiger chases the dog. The tiger is cold. The tiger is green. The tiger is not kind. The tiger is not nice. The tiger is rough. The tiger does not like the dog. The tiger needs the dog. If something chases the dog and it likes the tiger then it is not kind.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If something chases the dog and it likes the tiger then it is not kind.
((("something" "chases" "dog" "+") ("something" "likes" "tiger" "+")) -> ("something" "is" "kind" "-"))
The dog likes the tiger.
True
1
proof
[(triple7)]
("dog" "likes" "tiger" "+")
triple7
The tiger does not need the dog.
False
1
inv-proof
[(triple16)]
("tiger" "needs" "dog" "-")
triple16
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog chases the tiger.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is nice.[(triple5)] The dog is not rough.[(triple6)] The dog likes the tiger.[(triple7)] The dog needs the tiger.[(triple8)] The tiger chases the dog.[(triple9)] The tiger does not like the dog.[(triple15)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is not kind.[(triple12)] The tiger is not nice.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the dog.[(triple16)]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is not rough.
("dog" "is" "rough" "-")
triple6
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple7
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple8
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple9
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
triple15
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is not kind.
("tiger" "is" "kind" "-")
triple12
The tiger is not nice.
("tiger" "is" "nice" "-")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple16