The bear chases the cat. The bear eats the cat. The bear is big. The bear is blue. The bear is cold. The bear is kind. The bear needs the cat. The cat chases the bear. The cat eats the bear. The cat is big. The cat is blue. The cat is cold. If the bear chases the cat then the cat eats the bear. If someone chases the bear then they need the cat. If someone eats the cat and the cat needs the bear then the bear is kind. If someone chases the cat then they need the cat. If someone chases the cat and the cat chases the bear then the cat needs the bear. If someone chases the bear and they need the cat then they are rough. If someone chases the bear then the bear is big. If someone is rough then they eat the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
If the bear chases the cat then the cat eats the bear.
((("bear" "chases" "cat" "+")) -> ("cat" "eats" "bear" "+"))
If someone chases the bear then they need the cat.
((("someone" "chases" "bear" "+")) -> ("someone" "needs" "cat" "+"))
If someone eats the cat and the cat needs the bear then the bear is kind.
((("someone" "eats" "cat" "+") ("cat" "needs" "bear" "+")) -> ("bear" "is" "kind" "+"))
If someone chases the cat then they need the cat.
((("someone" "chases" "cat" "+")) -> ("someone" "needs" "cat" "+"))
If someone chases the cat and the cat chases the bear then the cat needs the bear.
((("someone" "chases" "cat" "+") ("cat" "chases" "bear" "+")) -> ("cat" "needs" "bear" "+"))
If someone chases the bear and they need the cat then they are rough.
((("someone" "chases" "bear" "+") ("someone" "needs" "cat" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the bear then the bear is big.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "big" "+"))
If someone is rough then they eat the cat.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "cat" "+"))
The bear eats the cat.
True
1
proof
[(triple2)]
("bear" "eats" "cat" "+")
triple2
The bear does not eat the cat.
False
1
inv-proof
[(triple2)]
("bear" "eats" "cat" "-")
triple2
The cat needs the cat.
True
2
proof
[(((triple8) -> rule2))]
("cat" "needs" "cat" "+")
((triple8) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the bear.
False
3
inv-proof
[(((triple1 triple8) -> rule5))]
("cat" "needs" "bear" "-")
((triple1 triple8) -> (rule5 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat is rough.
True
4
proof
[(((triple8 ((triple8) -> rule2)) -> rule6))]
("cat" "is" "rough" "+")
((triple8 ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat is not rough.
False
4
inv-proof
[(((triple8 ((triple8) -> rule2)) -> rule6))]
("cat" "is" "rough" "-")
((triple8 ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat eats the cat.
True
5
proof
[(((((triple8 ((triple8) -> rule2)) -> rule6)) -> rule8))]
("cat" "eats" "cat" "+")
((((triple8 ((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat does not eat the cat.
False
5
inv-proof
[(((((triple8 ((triple8) -> rule2)) -> rule6)) -> rule8))]
("cat" "eats" "cat" "-")
((((triple8 ((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "rough" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
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 cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is big.[(triple3 OR ((triple8) -> rule7))] The bear is blue.[(triple4)] The bear is cold.[(triple5)] The bear is kind.[(triple6 OR ((triple2 ((triple1 triple8) -> rule5)) -> rule3) OR ((((((triple8 ((triple8) -> rule2)) -> rule6)) -> rule8) ((triple1 triple8) -> rule5)) -> rule3))] The bear needs the cat.[(triple7 OR ((triple1) -> rule4))] The cat chases the bear.[(triple8)] The cat eats the bear.[(triple9 OR ((triple1) -> rule1))] The cat is big.[(triple10)] The cat is blue.[(triple11)] The cat is cold.[(triple12)] @1: The cat needs the bear.[(((triple1 triple8) -> rule5))] The cat needs the cat.[(((triple8) -> rule2))] @2: The cat is rough.[(((triple8 ((triple8) -> rule2)) -> rule6))] @3: The cat eats the cat.[(((((triple8 ((triple8) -> rule2)) -> rule6)) -> rule8))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
((triple8) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
((triple2 ((triple1 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
((((((triple8 ((triple8) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat needs the cat.
("cat" "needs" "cat" "+")
int5
The bear needs the cat.
("bear" "needs" "cat" "+")
triple7
((triple1) -> (rule4 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple8
The cat eats the bear.
("cat" "eats" "bear" "+")
triple9
((triple1) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple10
The cat is blue.
("cat" "is" "blue" "+")
triple11
The cat is cold.
("cat" "is" "cold" "+")
triple12
The cat needs the bear.
("cat" "needs" "bear" "+")
((triple1 triple8) -> (rule5 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple8) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple8 ((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
((((triple8 ((triple8) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3