The bear chases the lion. The bear eats the lion. The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is rough. The bear sees the lion. The lion chases the bear. The lion eats the bear. The lion is blue. The lion is kind. The lion is nice. The lion is red. The lion is rough. The lion sees the bear. If someone chases the lion and the lion is nice then they eat the bear. If someone chases the bear then the bear chases the lion. If someone is blue then they eat the lion. If the lion is blue then the lion is kind. If the lion sees the bear then the lion chases the bear. If someone eats the lion and they are rough then they see the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If someone chases the lion and the lion is nice then they eat the bear.
((("someone" "chases" "lion" "+") ("lion" "is" "nice" "+")) -> ("someone" "eats" "bear" "+"))
If someone chases the bear then the bear chases the lion.
((("someone" "chases" "bear" "+")) -> ("bear" "chases" "lion" "+"))
If someone is blue then they eat the lion.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "lion" "+"))
If the lion is blue then the lion is kind.
((("lion" "is" "blue" "+")) -> ("lion" "is" "kind" "+"))
If the lion sees the bear then the lion chases the bear.
((("lion" "sees" "bear" "+")) -> ("lion" "chases" "bear" "+"))
If someone eats the lion and they are rough then they see the lion.
((("someone" "eats" "lion" "+") ("someone" "is" "rough" "+")) -> ("someone" "sees" "lion" "+"))
The bear is nice.
True
1
proof
[(triple5)]
("bear" "is" "nice" "+")
triple5
The lion does not see the bear.
False
1
inv-proof
[(triple16)]
("lion" "sees" "bear" "-")
triple16
The lion eats the lion.
True
2
proof
[(((triple11) -> rule3))]
("lion" "eats" "lion" "+")
((triple11) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple11) -> rule3))]
("lion" "eats" "lion" "-")
((triple11) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion sees the lion.
True
4
proof
[(((((triple11) -> rule3) triple15) -> rule6))]
("lion" "sees" "lion" "+")
((((triple11) -> (rule3 % int2)) triple15) -> (rule6 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion does not see the lion.
False
4
inv-proof
[(((((triple11) -> rule3) triple15) -> rule6))]
("lion" "sees" "lion" "-")
((((triple11) -> (rule3 % int2)) triple15) -> (rule6 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the lion.[(triple1 OR ((triple9) -> rule2) OR ((((triple16) -> rule5)) -> rule2))] The bear eats the lion.[(triple2 OR ((triple3) -> rule3))] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is red.[(triple6)] The bear is rough.[(triple7)] The bear sees the lion.[(triple8 OR ((triple2 triple7) -> rule6) OR ((((triple3) -> rule3) triple7) -> rule6))] The lion chases the bear.[(triple9 OR ((triple16) -> rule5))] The lion eats the bear.[(triple10)] The lion is blue.[(triple11)] The lion is kind.[(triple12 OR ((triple11) -> rule4))] The lion is nice.[(triple13)] The lion is red.[(triple14)] The lion is rough.[(triple15)] The lion sees the bear.[(triple16)] @1: The bear eats the bear.[(((triple1 triple13) -> rule1) OR ((((triple9) -> rule2) triple13) -> rule1) OR ((((((triple16) -> rule5)) -> rule2) triple13) -> rule1))] The lion eats the lion.[(((triple11) -> rule3))] @2: The lion sees the lion.[(((((triple11) -> rule3) triple15) -> rule6))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
((triple9) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
((triple3) -> (rule3 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear is rough.
("bear" "is" "rough" "+")
triple7
The bear sees the lion.
("bear" "sees" "lion" "+")
triple8
((triple2 triple7) -> (rule6 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
((((triple3) -> (rule3 % int2)) triple7) -> (rule6 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
((triple16) -> (rule5 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion eats the bear.
("lion" "eats" "bear" "+")
triple10
The lion is blue.
("lion" "is" "blue" "+")
triple11
The lion is kind.
("lion" "is" "kind" "+")
triple12
((triple11) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple13
The lion is red.
("lion" "is" "red" "+")
triple14
The lion is rough.
("lion" "is" "rough" "+")
triple15
The lion sees the bear.
("lion" "sees" "bear" "+")
triple16
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple1 triple13) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple9) -> (rule2 % int2)) triple13) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((((triple16) -> (rule5 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
The lion chases the bear.
("lion" "chases" "bear" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple11) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
((((triple11) -> (rule3 % int2)) triple15) -> (rule6 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2