The bear likes the cat. The bear needs the cat. The cat is big. The cat is round. The lion is red. The lion likes the bear. The lion likes the cat. The lion needs the cat. The lion sees the bear. The lion sees the cat. If the bear sees the cat and the cat likes the bear then the bear needs the cat. Cold people are round. If someone sees the cat then they like the bear. If the bear is green then the bear is red. If someone sees the cat and the cat needs the bear then they see the bear. If the cat likes the lion then the lion likes the bear. If someone sees the cat then they are cold. If someone sees the bear then the bear sees the cat.
The cat is cold.
@0: The bear likes the cat.[(triple1)] The bear needs the cat.[(triple2)] The cat is big.[(triple3)] The cat is round.[(triple4)] The lion is red.[(triple5)] The lion likes the bear.[(triple6 OR ((triple10) -> rule3))] The lion likes the cat.[(triple7)] The lion needs the cat.[(triple8)] The lion sees the bear.[(triple9)] The lion sees the cat.[(triple10)] @1: The bear sees the cat.[(((triple9) -> rule8))] The lion is cold.[(((triple10) -> rule7))] @2: The bear is cold.[(((((triple9) -> rule8)) -> rule7))] The bear likes the bear.[(((((triple9) -> rule8)) -> rule3))] The lion is round.[(((((triple10) -> rule7)) -> rule2))] @3: The bear is round.[(((((((triple9) -> rule8)) -> rule7)) -> rule2))]