The bear chases the dog. The bear chases the rabbit. The bear is red. The bear likes the cat. The bear likes the dog. The cat eats the rabbit. The cat is blue. The cat is not green. The cat is kind. The cat likes the dog. The dog does not chase the cat. The dog is green. The rabbit chases the bear. The rabbit chases the dog. The rabbit is kind. The rabbit is rough. All green people are not kind.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The dog does not chase the cat.
("dog" "chases" "cat" "-")
The dog is green.
("dog" "is" "green" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
All green people are not kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "-"))
The cat eats the rabbit.
True
1
proof
[(triple6)]
("cat" "eats" "rabbit" "+")
triple6
The cat is not blue.
False
1
inv-proof
[(triple7)]
("cat" "is" "blue" "-")
triple7
The dog is not kind.
True
2
proof
[(((triple12) -> rule1))]
("dog" "is" "kind" "-")
((triple12) -> (rule1 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The dog is kind.
False
2
inv-proof
[(((triple12) -> rule1))]
("dog" "is" "kind" "+")
((triple12) -> (rule1 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog chases the bear.
Unknown
random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "+")
The bear does not like the rabbit.
Unknown
inv-random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "-")
The rabbit eats the cat.
Unknown
random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is red.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the dog.[(triple5)] The cat eats the rabbit.[(triple6)] The cat is blue.[(triple7)] The cat is kind.[(triple9)] The cat is not green.[(triple8)] The cat likes the dog.[(triple10)] The dog does not chase the cat.[(triple11)] The dog is green.[(triple12)] The rabbit chases the bear.[(triple13)] The rabbit chases the dog.[(triple14)] The rabbit is kind.[(triple15)] The rabbit is rough.[(triple16)] @1: The dog is not kind.[(((triple12) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear likes the cat.
("bear" "likes" "cat" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple9
The cat is not green.
("cat" "is" "green" "-")
triple8
The cat likes the dog.
("cat" "likes" "dog" "+")
triple10
The dog does not chase the cat.
("dog" "chases" "cat" "-")
triple11
The dog is green.
("dog" "is" "green" "+")
triple12
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple13
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple14
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple15
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple16
The dog is not kind.
("dog" "is" "kind" "-")
((triple12) -> (rule1 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1