The cat eats the rabbit. The cat is blue. The cat is kind. The cow eats the cat. The cow is not red. The mouse is red. The mouse sees the cow. The rabbit is not kind. The rabbit likes the cat. The rabbit likes the mouse. If someone is kind and they do not like the cow then they do not like the cat. If someone is cold and they do not see the cow then the cow is not kind.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is not red.
("cow" "is" "red" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If someone is kind and they do not like the cow then they do not like the cat.
((("someone" "is" "kind" "+") ("someone" "likes" "cow" "~")) -> ("someone" "likes" "cat" "-"))
If someone is cold and they do not see the cow then the cow is not kind.
((("someone" "is" "cold" "+") ("someone" "sees" "cow" "~")) -> ("cow" "is" "kind" "-"))
The cat is kind.
True
1
proof
[(triple3)]
("cat" "is" "kind" "+")
triple3
The mouse is not red.
False
1
inv-proof
[(triple6)]
("mouse" "is" "red" "-")
triple6
The rabbit does not like the cow.
Unknown
inv-random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
@0: The cat eats the rabbit.[(triple1)] The cat is blue.[(triple2)] The cat is kind.[(triple3)] The cow eats the cat.[(triple4)] The cow is not red.[(triple5)] The mouse is red.[(triple6)] The mouse sees the cow.[(triple7)] The rabbit is not kind.[(triple8)] The rabbit likes the cat.[(triple9)] The rabbit likes the mouse.[(triple10)]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
triple4
The cow is not red.
("cow" "is" "red" "-")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple7
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple8
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple9
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple10