The bear is cold. The bear is nice. The bear likes the lion. The cat chases the bear. The cat does not chase the mouse. The cat is cold. The cat does not like the bear. The cat likes the mouse. The cat sees the lion. The lion chases the cat. The mouse likes the cat. The mouse sees the bear. If someone is nice then they chase the mouse. If the bear chases the lion and the bear is cold then the lion chases the bear. If someone chases the bear then they see the cat. If someone sees the bear then the bear chases the lion. All cold people are not kind. If someone chases the lion and they are not nice then they do not chase the bear. If the bear likes the mouse then the mouse does not chase the bear. If someone sees the cat and they chase the cat then the cat likes the mouse.
The cat is big.
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2)] The bear likes the lion.[(triple3)] The cat chases the bear.[(triple4)] The cat does not chase the mouse.[(triple5)] The cat does not like the bear.[(triple7)] The cat is cold.[(triple6)] The cat likes the mouse.[(triple8 OR ((((((((triple12) -> rule4) triple1) -> rule2)) -> rule3) triple10) -> rule8))] The cat sees the lion.[(triple9)] The lion chases the cat.[(triple10)] The mouse likes the cat.[(triple11)] The mouse sees the bear.[(triple12)] @1: The bear chases the lion.[(((triple12) -> rule4))] The bear chases the mouse.[(((triple2) -> rule1))] The bear is not kind.[(((triple1) -> rule5))] The cat is not kind.[(((triple6) -> rule5))] The cat sees the cat.[(((triple4) -> rule3))] @2: The lion chases the bear.[(((((triple12) -> rule4) triple1) -> rule2))] @3: The lion sees the cat.[(((((((triple12) -> rule4) triple1) -> rule2)) -> rule3))]