The dog chases the rabbit. The dog is blue. The dog is kind. The dog is not red. The dog is not round. The dog is young. The dog likes the rabbit. The dog does not see the rabbit. The rabbit chases the dog. The rabbit is blue. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit is not young. The rabbit likes the dog. The rabbit sees the dog. If someone is blue and they do not see the rabbit then the rabbit sees the dog. If someone is blue then they like the dog. If someone likes the rabbit and the rabbit chases the dog then they like the dog. If the rabbit sees the dog and the rabbit likes the dog then the dog chases the rabbit. If the dog is not red and the dog is not young then the dog chases the rabbit. If the rabbit sees the dog and the rabbit does not like the dog then the rabbit is young.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog is not round.
("dog" "is" "round" "-")
The dog is young.
("dog" "is" "young" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone is blue and they do not see the rabbit then the rabbit sees the dog.
((("someone" "is" "blue" "+") ("someone" "sees" "rabbit" "~")) -> ("rabbit" "sees" "dog" "+"))
If someone is blue then they like the dog.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the rabbit and the rabbit chases the dog then they like the dog.
((("someone" "likes" "rabbit" "+") ("rabbit" "chases" "dog" "+")) -> ("someone" "likes" "dog" "+"))
If the rabbit sees the dog and the rabbit likes the dog then the dog chases the rabbit.
((("rabbit" "sees" "dog" "+") ("rabbit" "likes" "dog" "+")) -> ("dog" "chases" "rabbit" "+"))
If the dog is not red and the dog is not young then the dog chases the rabbit.
((("dog" "is" "red" "~") ("dog" "is" "young" "~")) -> ("dog" "chases" "rabbit" "+"))
If the rabbit sees the dog and the rabbit does not like the dog then the rabbit is young.
((("rabbit" "sees" "dog" "+") ("rabbit" "likes" "dog" "~")) -> ("rabbit" "is" "young" "+"))
The dog is not round.
True
1
proof
[(triple5)]
("dog" "is" "round" "-")
triple5
The dog is not kind.
False
1
inv-proof
[(triple3)]
("dog" "is" "kind" "-")
triple3
The dog likes the dog.
True
2
proof
[(((triple2) -> rule2) OR ((triple7 triple9) -> rule3))]
("dog" "likes" "dog" "+")
((triple2) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((triple7 triple9) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog does not like the dog.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple7 triple9) -> rule3))]
("dog" "likes" "dog" "-")
((triple2) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((triple7 triple9) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The dog chases the rabbit.[(triple1 OR ((triple16 triple15) -> rule4) OR ((triple16 ((triple10) -> rule2)) -> rule4) OR ((((triple2 triple8) -> rule1) triple15) -> rule4) OR ((((triple2 triple8) -> rule1) ((triple10) -> rule2)) -> rule4))] The dog does not see the rabbit.[(triple8)] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The dog is not red.[(triple4)] The dog is not round.[(triple5)] The dog is young.[(triple6)] The dog likes the rabbit.[(triple7)] The rabbit chases the dog.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is not young.[(triple14)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the dog.[(triple15 OR ((triple10) -> rule2))] The rabbit sees the dog.[(triple16 OR ((triple2 triple8) -> rule1))] @1: The dog likes the dog.[(((triple2) -> rule2) OR ((triple7 triple9) -> rule3))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
((triple16 triple15) -> (rule4 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
((triple16 ((triple10) -> (rule2 % int2))) -> (rule4 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
((((triple2 triple8) -> (rule1 % int2)) triple15) -> (rule4 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
int2
((((triple2 triple8) -> (rule1 % int3)) ((triple10) -> (rule2 % int2))) -> (rule4 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
int3
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple8
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is not red.
("dog" "is" "red" "-")
triple4
The dog is not round.
("dog" "is" "round" "-")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is not young.
("rabbit" "is" "young" "-")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple15
((triple10) -> (rule2 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple16
((triple2 triple8) -> (rule1 % int1))
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple2) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((triple7 triple9) -> (rule3 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1