The dog chases the rabbit. The dog eats the rabbit. The dog is blue. The dog is cold. The dog is kind. The dog is rough. The dog does not like the rabbit. The rabbit chases the dog. The rabbit is blue. The rabbit is not kind. The rabbit is rough. The rabbit likes the dog. If someone is cold and they like the dog then they do not like the rabbit. If the rabbit chases the dog then the rabbit eats the dog. If someone chases the rabbit and the rabbit is not blue then the rabbit does not like the dog. If the dog chases the rabbit then the dog is kind. If someone eats the rabbit and they are not blue then the rabbit is not rough. If someone chases the dog then the dog eats the rabbit. If someone eats the dog and they do not chase the dog then the dog does not like the rabbit. If someone eats the dog and they are not kind then the dog does not like the rabbit.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog does not like the rabbit.
("dog" "likes" "rabbit" "-")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If someone is cold and they like the dog then they do not like the rabbit.
((("someone" "is" "cold" "+") ("someone" "likes" "dog" "+")) -> ("someone" "likes" "rabbit" "-"))
If the rabbit chases the dog then the rabbit eats the dog.
((("rabbit" "chases" "dog" "+")) -> ("rabbit" "eats" "dog" "+"))
If someone chases the rabbit and the rabbit is not blue then the rabbit does not like the dog.
((("someone" "chases" "rabbit" "+") ("rabbit" "is" "blue" "~")) -> ("rabbit" "likes" "dog" "-"))
If the dog chases the rabbit then the dog is kind.
((("dog" "chases" "rabbit" "+")) -> ("dog" "is" "kind" "+"))
If someone eats the rabbit and they are not blue then the rabbit is not rough.
((("someone" "eats" "rabbit" "+") ("someone" "is" "blue" "~")) -> ("rabbit" "is" "rough" "-"))
If someone chases the dog then the dog eats the rabbit.
((("someone" "chases" "dog" "+")) -> ("dog" "eats" "rabbit" "+"))
If someone eats the dog and they do not chase the dog then the dog does not like the rabbit.
((("someone" "eats" "dog" "+") ("someone" "chases" "dog" "~")) -> ("dog" "likes" "rabbit" "-"))
If someone eats the dog and they are not kind then the dog does not like the rabbit.
((("someone" "eats" "dog" "+") ("someone" "is" "kind" "~")) -> ("dog" "likes" "rabbit" "-"))
The dog chases the rabbit.
True
1
proof
[(triple1)]
("dog" "chases" "rabbit" "+")
triple1
The dog is not kind.
False
1
inv-proof
[(triple5 OR ((triple1) -> rule4))]
("dog" "is" "kind" "-")
triple5
((triple1) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The rabbit eats the dog.
True
2
proof
[(((triple8) -> rule2))]
("rabbit" "eats" "dog" "+")
((triple8) -> (rule2 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit does not eat the dog.
False
2
inv-proof
[(((triple8) -> rule2))]
("rabbit" "eats" "dog" "-")
((triple8) -> (rule2 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The dog chases the rabbit.[(triple1)] The dog does not like the rabbit.[(triple7 OR ((((triple8) -> rule2) triple10) -> rule8))] The dog eats the rabbit.[(triple2 OR ((triple8) -> rule6))] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is kind.[(triple5 OR ((triple1) -> rule4))] The dog is rough.[(triple6)] The rabbit chases the dog.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is not kind.[(triple10)] The rabbit is rough.[(triple11)] The rabbit likes the dog.[(triple12)] @1: The rabbit eats the dog.[(((triple8) -> rule2))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog does not like the rabbit.
("dog" "likes" "rabbit" "-")
triple7
((((triple8) -> (rule2 % int2)) triple10) -> (rule8 % int1))
The dog does not like the rabbit.
("dog" "likes" "rabbit" "-")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
((triple8) -> (rule6 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
((triple1) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
triple6
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple12
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
((triple8) -> (rule2 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1