The bear chases the lion. The bear is cold. The bear is green. The bear is nice. The bear is round. The bear is young. The bear likes the lion. The bear sees the lion. The lion chases the bear. The lion is cold. The lion is nice. The lion is round. The lion is young. The lion likes the bear. The lion sees the bear. If something chases the lion then it likes the bear. If something is green and cold then it sees the bear. If something sees the lion then the lion likes the bear. If something chases the lion and the lion likes the bear then the bear likes the lion. If the lion sees the bear then the bear is cold. If something chases the bear then it chases the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If something chases the lion then it likes the bear.
((("something" "chases" "lion" "+")) -> ("something" "likes" "bear" "+"))
If something is green and cold then it sees the bear.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "sees" "bear" "+"))
If something sees the lion then the lion likes the bear.
((("something" "sees" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If something chases the lion and the lion likes the bear then the bear likes the lion.
((("something" "chases" "lion" "+") ("lion" "likes" "bear" "+")) -> ("bear" "likes" "lion" "+"))
If the lion sees the bear then the bear is cold.
((("lion" "sees" "bear" "+")) -> ("bear" "is" "cold" "+"))
If something chases the bear then it chases the lion.
((("something" "chases" "bear" "+")) -> ("something" "chases" "lion" "+"))
The lion is young.
True
1
proof
[(triple13)]
("lion" "is" "young" "+")
triple13
The bear is not cold.
False
1
inv-proof
[(triple2 OR ((triple15) -> rule5))]
("bear" "is" "cold" "-")
triple2
((triple15) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear sees the bear.
True
3
proof
[(((triple3 triple2) -> rule2) OR ((triple3 ((triple15) -> rule5)) -> rule2))]
("bear" "sees" "bear" "+")
((triple3 triple2) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((triple3 ((triple15) -> (rule5 % int2))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear does not like the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "likes" "bear" "-")
((triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bear chases the lion.[(triple1)] The bear is cold.[(triple2 OR ((triple15) -> rule5))] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the lion.[(triple7 OR ((triple1 triple14) -> rule4) OR ((triple1 ((triple8) -> rule3)) -> rule4) OR ((((triple9) -> rule6) triple14) -> rule4) OR ((((triple9) -> rule6) ((triple8) -> rule3)) -> rule4) OR ((triple1 ((((triple9) -> rule6)) -> rule1)) -> rule4) OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule1)) -> rule4))] The bear sees the lion.[(triple8)] The lion chases the bear.[(triple9)] The lion is cold.[(triple10)] The lion is nice.[(triple11)] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion likes the bear.[(triple14 OR ((triple8) -> rule3) OR ((((triple9) -> rule6)) -> rule1))] The lion sees the bear.[(triple15)] @1: The bear likes the bear.[(((triple1) -> rule1))] The bear sees the bear.[(((triple3 triple2) -> rule2) OR ((triple3 ((triple15) -> rule5)) -> rule2))] The lion chases the lion.[(((triple9) -> rule6))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
((triple15) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear likes the lion.
("bear" "likes" "lion" "+")
triple7
((triple1 triple14) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
((triple1 ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
((((triple9) -> (rule6 % int2)) triple14) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
((triple1 ((((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion is cold.
("lion" "is" "cold" "+")
triple10
The lion is nice.
("lion" "is" "nice" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion likes the bear.
("lion" "likes" "bear" "+")
triple14
((triple8) -> (rule3 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule1 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion sees the bear.
("lion" "sees" "bear" "+")
triple15
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple3 triple2) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((triple3 ((triple15) -> (rule5 % int2))) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple9) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1