The bear is rough. The bear is young. The bear sees the lion. The bear sees the rabbit. The bear visits the lion. The bear visits the rabbit. The lion is red. The lion is rough. The lion sees the bear. The lion visits the bear. The lion visits the rabbit. The rabbit chases the bear. The rabbit is cold. The rabbit is young. The rabbit sees the bear. If someone is cold then they visit the lion. If someone visits the bear and they chase the rabbit then they visit the lion. If the rabbit is rough then the rabbit is kind. If someone chases the lion and the lion sees the rabbit then the lion is rough. If the lion visits the rabbit and the lion sees the bear then the lion sees the rabbit. If someone is red then they chase the rabbit. If the lion visits the rabbit then the lion chases the rabbit. If someone sees the bear and the bear sees the rabbit then the rabbit is kind.
The rabbit is not cold.
@0: The bear is rough.[(triple1)] The bear is young.[(triple2)] The bear sees the lion.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the lion.[(triple5)] The bear visits the rabbit.[(triple6)] The lion is red.[(triple7)] The lion is rough.[(triple8)] The lion sees the bear.[(triple9)] The lion visits the bear.[(triple10)] The lion visits the rabbit.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the bear.[(triple15)] @1: The lion chases the rabbit.[(((triple11) -> rule7) OR ((triple7) -> rule6))] The lion sees the rabbit.[(((triple11 triple9) -> rule5))] The rabbit is kind.[(((triple15 triple4) -> rule8) OR ((triple9 triple4) -> rule8))] The rabbit visits the lion.[(((triple13) -> rule1))] @2: The lion visits the lion.[(((triple10 ((triple11) -> rule7)) -> rule2) OR ((triple10 ((triple7) -> rule6)) -> rule2))]