The bear chases the rabbit. The bear is big. The bear is red. The bear sees the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit sees the bear. If someone is kind and they eat the rabbit then they are cold. If someone eats the rabbit and they chase the rabbit then they see the rabbit. If someone is big then they eat the bear. If someone sees the rabbit and they chase the rabbit then they eat the bear. If someone chases the rabbit then the rabbit sees the bear. If someone eats the rabbit then the rabbit chases the bear. If someone sees the rabbit then the rabbit is kind. If the bear sees the rabbit then the rabbit is cold.
The bear is cold.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3)] The bear sees the rabbit.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit eats the bear.[(triple6)] The rabbit sees the bear.[(triple7 OR ((triple1) -> rule5))] @1: The bear eats the bear.[(((triple2) -> rule3) OR ((triple4 triple1) -> rule4))] The rabbit is cold.[(((triple4) -> rule8))] The rabbit is kind.[(((triple4) -> rule7))]