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