The bear is round. The cat chases the bear. The cat chases the rabbit. The cat eats the rabbit. The cat visits the bear. The cat visits the lion. The lion chases the bear. The lion eats the bear. The lion eats the rabbit. The lion is big. The lion visits the cat. The rabbit is young. If someone eats the rabbit then the rabbit visits the cat. If someone is nice and they chase the rabbit then the rabbit visits the bear. If someone chases the bear and they visit the lion then the lion eats the bear. If someone chases the bear then they visit the bear. Nice, young people are big. If someone is nice and round then they visit the cat.
The rabbit is not big.
@0: The bear is round.[(triple1)] The cat chases the bear.[(triple2)] The cat chases the rabbit.[(triple3)] The cat eats the rabbit.[(triple4)] The cat visits the bear.[(triple5 OR ((triple2) -> rule4))] The cat visits the lion.[(triple6)] The lion chases the bear.[(triple7)] The lion eats the bear.[(triple8 OR ((triple2 triple6) -> rule3))] The lion eats the rabbit.[(triple9)] The lion is big.[(triple10)] The lion visits the cat.[(triple11)] The rabbit is young.[(triple12)] @1: The lion visits the bear.[(((triple7) -> rule4))] The rabbit visits the cat.[(((triple4) -> rule1) OR ((triple9) -> rule1))]