The bear chases the rabbit. The bear is big. The bear is rough. The bear sees the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is rough. The rabbit sees the bear. The rabbit visits the bear. If something sees the rabbit then the rabbit is nice. If the rabbit is kind and the rabbit is big then the rabbit sees the bear. If the bear is kind then the bear chases the rabbit.
The bear is rough.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is rough.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit is big.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is rough.[(triple10)] The rabbit sees the bear.[(triple11 OR ((triple9 triple7) -> rule2))] The rabbit visits the bear.[(triple12)] @1: The rabbit is nice.[(((triple4) -> rule1))]