The dog chases the rabbit. The dog eats the rabbit. The dog is blue. The dog is nice. The dog likes the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is blue. The rabbit is round. The rabbit likes the dog. If someone chases the rabbit and the rabbit eats the dog then the rabbit is blue. If someone chases the dog and the dog is nice then they eat the rabbit. If someone is young and they chase the rabbit then they are round. If someone is young and round then they like the dog. If the dog chases the rabbit then the dog is young. Blue people are young.
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 nice.
("dog" "is" "nice" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If someone chases the rabbit and the rabbit eats the dog then the rabbit is blue.
((("someone" "chases" "rabbit" "+") ("rabbit" "eats" "dog" "+")) -> ("rabbit" "is" "blue" "+"))
If someone chases the dog and the dog is nice then they eat the rabbit.
((("someone" "chases" "dog" "+") ("dog" "is" "nice" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is young and they chase the rabbit then they are round.
((("someone" "is" "young" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If someone is young and round then they like the dog.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "dog" "+"))
If the dog chases the rabbit then the dog is young.
((("dog" "chases" "rabbit" "+")) -> ("dog" "is" "young" "+"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
The rabbit chases the dog.
True
1
proof
[(triple6)]
("rabbit" "chases" "dog" "+")
triple6
The dog does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("dog" "chases" "rabbit" "-")
triple1
The rabbit is young.
True
2
proof
[(((triple8) -> rule6) OR ((((triple1 triple7) -> rule1)) -> rule6))]
("rabbit" "is" "young" "+")
((triple8) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((((triple1 triple7) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is not young.
False
2
inv-proof
[(((triple8) -> rule6) OR ((((triple1 triple7) -> rule1)) -> rule6))]
("rabbit" "is" "young" "-")
((triple8) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((((triple1 triple7) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The dog is round.
True
4
proof
[(((((triple1) -> rule5) triple1) -> rule3) OR ((((triple3) -> rule6) triple1) -> rule3))]
("dog" "is" "round" "+")
((((triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((triple3) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is not round.
False
4
inv-proof
[(((((triple1) -> rule5) triple1) -> rule3) OR ((((triple3) -> rule6) triple1) -> rule3))]
("dog" "is" "round" "-")
((((triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((triple3) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog likes the dog.
True
7
proof
[(((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple1) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple3) -> rule6) triple1) -> rule3)) -> rule4))]
("dog" "likes" "dog" "+")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple1) -> (rule5 % int3)) ((((triple3) -> (rule6 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog does not like the dog.
False
7
inv-proof
[(((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple1) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple3) -> rule6) triple1) -> rule3)) -> rule4))]
("dog" "likes" "dog" "-")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple1) -> (rule5 % int3)) ((((triple3) -> (rule6 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
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 dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
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 likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is blue.[(triple3)] The dog is nice.[(triple4)] The dog likes the rabbit.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit is blue.[(triple8 OR ((triple1 triple7) -> rule1))] The rabbit is round.[(triple9)] The rabbit likes the dog.[(triple10 OR ((((triple8) -> rule6) triple9) -> rule4) OR ((((((triple1 triple7) -> rule1)) -> rule6) triple9) -> rule4))] @1: The dog is young.[(((triple1) -> rule5) OR ((triple3) -> rule6))] The rabbit eats the rabbit.[(((triple6 triple4) -> rule2))] The rabbit is young.[(((triple8) -> rule6) OR ((((triple1 triple7) -> rule1)) -> rule6))] @2: The dog is round.[(((((triple1) -> rule5) triple1) -> rule3) OR ((((triple3) -> rule6) triple1) -> rule3))] @3: The dog likes the dog.[(((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple1) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple3) -> rule6) triple1) -> rule3)) -> rule4))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple5
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple6
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
((triple1 triple7) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple10
((((triple8) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((((triple1 triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The dog is young.
("dog" "is" "young" "+")
((triple1) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((triple3) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple6 triple4) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple8) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((((triple1 triple7) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((triple3) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple1) -> (rule5 % int3)) ((((triple3) -> (rule6 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3