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