The bear chases the cat. The bear is cold. The bear is young. The bear likes the cat. The bear likes the lion. The cat chases the lion. The cat is big. The cat is green. The cat sees the bear. The lion chases the cat. The lion is green. The lion likes the cat. If someone likes the bear and the bear is cold then they are blue. If someone is cold then they see the cat. If someone chases the lion and they see the lion then they are young. If someone sees the cat and they chase the bear then the cat sees the bear. If someone chases the cat then the cat likes the bear. If someone is big then they see the lion.
The lion sees the bear.
@0: The bear chases the cat.[(triple1)] The bear is cold.[(triple2)] The bear is young.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the lion.[(triple5)] The cat chases the lion.[(triple6)] The cat is big.[(triple7)] The cat is green.[(triple8)] The cat sees the bear.[(triple9)] The lion chases the cat.[(triple10)] The lion is green.[(triple11)] The lion likes the cat.[(triple12)] @1: The bear sees the cat.[(((triple2) -> rule2))] The cat likes the bear.[(((triple1) -> rule5) OR ((triple10) -> rule5))] The cat sees the lion.[(((triple7) -> rule6))] @2: The cat is blue.[(((((triple1) -> rule5) triple2) -> rule1) OR ((((triple10) -> rule5) triple2) -> rule1))] The cat is young.[(((triple6 ((triple7) -> rule6)) -> rule3))]