The dog is blue. The lion chases the tiger. The lion likes the rabbit. The rabbit chases the dog. The rabbit is big. The rabbit is blue. The rabbit sees the dog. The rabbit does not see the lion. The tiger sees the dog. The tiger sees the lion. If something sees the lion and it is not rough then it does not like the tiger.
The dog is blue.
("dog" "is" "blue" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit does not see the lion.
("rabbit" "sees" "lion" "-")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If something sees the lion and it is not rough then it does not like the tiger.
((("something" "sees" "lion" "+") ("something" "is" "rough" "~")) -> ("something" "likes" "tiger" "-"))
The rabbit is blue.
True
1
proof
[(triple6)]
("rabbit" "is" "blue" "+")
triple6
The lion does not chase the tiger.
False
1
inv-proof
[(triple2)]
("lion" "chases" "tiger" "-")
triple2
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The dog chases the rabbit.
Unknown
random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "+")
@0: The dog is blue.[(triple1)] The lion chases the tiger.[(triple2)] The lion likes the rabbit.[(triple3)] The rabbit chases the dog.[(triple4)] The rabbit does not see the lion.[(triple8)] The rabbit is big.[(triple5)] The rabbit is blue.[(triple6)] The rabbit sees the dog.[(triple7)] The tiger sees the dog.[(triple9)] The tiger sees the lion.[(triple10)]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple3
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple4
The rabbit does not see the lion.
("rabbit" "sees" "lion" "-")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple7
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple9
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple10