The bear chases the dog. The bear chases the rabbit. The bear eats the dog. The bear is big. The bear is red. The bear needs the rabbit. The dog eats the bear. The dog eats the rabbit. The dog is big. The dog is red. The rabbit chases the bear. The rabbit eats the dog. The rabbit is red. The rabbit needs the bear. The rabbit needs the dog. If someone chases the bear and the bear is red then the bear is young. If someone eats the dog then they chase the rabbit. If someone eats the rabbit and they chase the dog then they are red. If the bear is red then the bear needs the rabbit. If the dog eats the bear and the bear chases the rabbit then the rabbit chases the dog. If someone is red and they need the dog then the dog chases the rabbit. If someone chases the dog then the dog is red. If someone is nice then they chase the rabbit.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is red.
("dog" "is" "red" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone chases the bear and the bear is red then the bear is young.
((("someone" "chases" "bear" "+") ("bear" "is" "red" "+")) -> ("bear" "is" "young" "+"))
If someone eats the dog then they chase the rabbit.
((("someone" "eats" "dog" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone eats the rabbit and they chase the dog then they are red.
((("someone" "eats" "rabbit" "+") ("someone" "chases" "dog" "+")) -> ("someone" "is" "red" "+"))
If the bear is red then the bear needs the rabbit.
((("bear" "is" "red" "+")) -> ("bear" "needs" "rabbit" "+"))
If the dog eats the bear and the bear chases the rabbit then the rabbit chases the dog.
((("dog" "eats" "bear" "+") ("bear" "chases" "rabbit" "+")) -> ("rabbit" "chases" "dog" "+"))
If someone is red and they need the dog then the dog chases the rabbit.
((("someone" "is" "red" "+") ("someone" "needs" "dog" "+")) -> ("dog" "chases" "rabbit" "+"))
If someone chases the dog then the dog is red.
((("someone" "chases" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone is nice then they chase the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "rabbit" "+"))
The rabbit needs the dog.
True
1
proof
[(triple15)]
("rabbit" "needs" "dog" "+")
triple15
The bear does not chase the dog.
False
1
inv-proof
[(triple1)]
("bear" "chases" "dog" "-")
triple1
The rabbit chases the rabbit.
True
2
proof
[(((triple12) -> rule2))]
("rabbit" "chases" "rabbit" "+")
((triple12) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit does not chase the dog.
False
3
inv-proof
[(((triple7 triple2) -> rule5) OR ((triple7 ((triple3) -> rule2)) -> rule5))]
("rabbit" "chases" "dog" "-")
((triple7 triple2) -> (rule5 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((triple7 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The dog does not chase the bear.
Unknown
inv-random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the rabbit.[(triple2 OR ((triple3) -> rule2))] The bear eats the dog.[(triple3)] The bear is big.[(triple4)] The bear is red.[(triple5)] The bear needs the rabbit.[(triple6 OR ((triple5) -> rule4))] The dog eats the bear.[(triple7)] The dog eats the rabbit.[(triple8)] The dog is big.[(triple9)] The dog is red.[(triple10 OR ((triple1) -> rule7) OR ((((triple7 triple2) -> rule5)) -> rule7) OR ((((triple7 ((triple3) -> rule2)) -> rule5)) -> rule7))] The rabbit chases the bear.[(triple11)] The rabbit eats the dog.[(triple12)] The rabbit is red.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit needs the dog.[(triple15)] @1: The bear is young.[(((triple11 triple5) -> rule1))] The dog chases the rabbit.[(((triple13 triple15) -> rule6))] The rabbit chases the dog.[(((triple7 triple2) -> rule5) OR ((triple7 ((triple3) -> rule2)) -> rule5))] The rabbit chases the rabbit.[(((triple12) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
((triple3) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple6
((triple5) -> (rule4 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
((triple1) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((((triple7 triple2) -> (rule5 % int2))) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
((((triple7 ((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple11
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple14
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple15
The bear is young.
("bear" "is" "young" "+")
((triple11 triple5) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
((triple13 triple15) -> (rule6 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
((triple7 triple2) -> (rule5 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((triple7 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple12) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1