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