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