The bear is big. The bear is kind. The bear needs the lion. The bear visits the lion. The bear visits the rabbit. The lion likes the rabbit. The lion needs the bear. The lion visits the bear. The rabbit is red. The rabbit visits the bear. If someone needs the bear then the bear is not nice. If someone likes the rabbit then the rabbit visits the lion. If the lion likes the rabbit and the lion is not red then the lion is young. If someone visits the bear and the bear is young then the bear likes the lion. If someone likes the lion and they are nice then they do not visit the bear. If someone visits the bear then they like the rabbit. If someone likes the rabbit then they like the bear. If someone likes the bear then the bear needs the lion.
The lion is young.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear needs the lion.[(triple3 OR ((((triple6) -> rule7)) -> rule8) OR ((((((triple10) -> rule6)) -> rule7)) -> rule8) OR ((((((triple8) -> rule6)) -> rule7)) -> rule8))] The bear visits the lion.[(triple4)] The bear visits the rabbit.[(triple5)] The lion likes the rabbit.[(triple6 OR ((triple8) -> rule6))] The lion needs the bear.[(triple7)] The lion visits the bear.[(triple8)] The rabbit is red.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The bear is not nice.[(((triple7) -> rule1))] The lion likes the bear.[(((triple6) -> rule7) OR ((((triple8) -> rule6)) -> rule7))] The rabbit likes the rabbit.[(((triple10) -> rule6))] The rabbit visits the lion.[(((triple6) -> rule2) OR ((((triple10) -> rule6)) -> rule2) OR ((((triple8) -> rule6)) -> rule2))] @2: The rabbit likes the bear.[(((((triple10) -> rule6)) -> rule7))]