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