The dog chases the rabbit. The dog eats the rabbit. The dog is big. The dog is green. The dog is kind. The dog is round. The dog is young. The dog needs the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is round. The rabbit is young. The rabbit needs the dog. If something chases the dog and it eats the rabbit then it needs the dog. If something chases the dog and the dog is green then the dog eats the rabbit. If something is green then it chases the dog.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If something chases the dog and it eats the rabbit then it needs the dog.
((("something" "chases" "dog" "+") ("something" "eats" "rabbit" "+")) -> ("something" "needs" "dog" "+"))
If something chases the dog and the dog is green then the dog eats the rabbit.
((("something" "chases" "dog" "+") ("dog" "is" "green" "+")) -> ("dog" "eats" "rabbit" "+"))
If something is green then it chases the dog.
((("something" "is" "green" "+")) -> ("something" "chases" "dog" "+"))
The rabbit needs the dog.
True
1
proof
[(triple16)]
("rabbit" "needs" "dog" "+")
triple16
The dog is not green.
False
1
inv-proof
[(triple4)]
("dog" "is" "green" "-")
triple4
The dog chases the dog.
True
2
proof
[(((triple4) -> rule3))]
("dog" "chases" "dog" "+")
((triple4) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("dog" "chases" "dog" "-")
((triple4) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog needs the dog.
True
4
proof
[(((((triple4) -> rule3) triple2) -> rule1) OR ((((triple4) -> rule3) ((triple9 triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule3) ((((triple12) -> rule3) triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule3) ((((triple4) -> rule3) triple4) -> rule2)) -> rule1))]
("dog" "needs" "dog" "+")
((((triple4) -> (rule3 % int2)) triple2) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple9 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
((((triple4) -> (rule3 % int4)) ((((triple12) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
((((triple4) -> (rule3 % int3)) ((((triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog does not need the dog.
False
4
inv-proof
[(((((triple4) -> rule3) triple2) -> rule1) OR ((((triple4) -> rule3) ((triple9 triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule3) ((((triple12) -> rule3) triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule3) ((((triple4) -> rule3) triple4) -> rule2)) -> rule1))]
("dog" "needs" "dog" "-")
((((triple4) -> (rule3 % int2)) triple2) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple9 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
((((triple4) -> (rule3 % int4)) ((((triple12) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
((((triple4) -> (rule3 % int3)) ((((triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
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 rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
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 needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2 OR ((triple9 triple4) -> rule2) OR ((((triple12) -> rule3) triple4) -> rule2) OR ((((triple4) -> rule3) triple4) -> rule2))] The dog is big.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is round.[(triple6)] The dog is young.[(triple7)] The dog needs the rabbit.[(triple8)] The rabbit chases the dog.[(triple9 OR ((triple12) -> rule3))] The rabbit eats the dog.[(triple10)] The rabbit is big.[(triple11)] The rabbit is green.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is round.[(triple14)] The rabbit is young.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The dog chases the dog.[(((triple4) -> rule3))] @2: The dog needs the dog.[(((((triple4) -> rule3) triple2) -> rule1) OR ((((triple4) -> rule3) ((triple9 triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule3) ((((triple12) -> rule3) triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule3) ((((triple4) -> rule3) triple4) -> rule2)) -> rule1))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
((triple9 triple4) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((((triple12) -> (rule3 % int2)) triple4) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
((((triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple8
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple9
((triple12) -> (rule3 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit is young.
("rabbit" "is" "young" "+")
triple15
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple16
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple4) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple4) -> (rule3 % int2)) triple2) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple9 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
((((triple4) -> (rule3 % int4)) ((((triple12) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
((((triple4) -> (rule3 % int3)) ((((triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3