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