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