The cow chases the squirrel. The cow visits the lion. The lion chases the cow. The lion is blue. The lion is cold. The lion is nice. The lion needs the cow. The lion visits the rabbit. The rabbit chases the cow. The rabbit chases the lion. The rabbit chases the squirrel. The rabbit visits the squirrel. The squirrel is kind. The squirrel is nice. The squirrel visits the lion. If someone is nice and they visit the rabbit then they chase the rabbit. If someone is blue then they need the rabbit. If someone needs the lion then the lion visits the squirrel. If someone chases the cow then they chase the rabbit. If someone is big and they visit the squirrel then they need the rabbit. If the rabbit is blue and the rabbit visits the squirrel then the rabbit is kind. If someone chases the rabbit and they chase the cow then they are nice. If someone is blue and they visit the rabbit then they visit the cow.
The lion is not big.
@0: The cow chases the squirrel.[(triple1)] The cow visits the lion.[(triple2)] The lion chases the cow.[(triple3)] The lion is blue.[(triple4)] The lion is cold.[(triple5)] The lion is nice.[(triple6 OR ((((triple3) -> rule4) triple3) -> rule7))] The lion needs the cow.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit chases the squirrel.[(triple11)] The rabbit visits the squirrel.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is nice.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The lion chases the rabbit.[(((triple3) -> rule4) OR ((triple6 triple8) -> rule1))] The lion needs the rabbit.[(((triple4) -> rule2))] The lion visits the cow.[(((triple4 triple8) -> rule8))] The rabbit chases the rabbit.[(((triple9) -> rule4))] @2: The rabbit is nice.[(((((triple9) -> rule4) triple9) -> rule7))]