The cat needs the lion. The cat needs the rabbit. The cat needs the squirrel. The lion chases the cat. The lion chases the rabbit. The lion eats the squirrel. The lion is cold. The rabbit eats the lion. The rabbit is cold. The rabbit is round. The rabbit needs the cat. The rabbit needs the lion. The rabbit needs the squirrel. The squirrel needs the cat. The squirrel needs the lion. The squirrel needs the rabbit. If someone needs the cat then the cat needs the squirrel. If someone chases the lion and they are cold then the lion chases the squirrel. If someone eats the lion then they are blue. If someone eats the squirrel and the squirrel is red then they eat the cat. If the rabbit needs the cat then the cat chases the squirrel. If someone needs the rabbit and the rabbit is blue then they are red. If someone needs the squirrel then they chase the lion. If someone chases the rabbit and the rabbit is red then the rabbit needs the squirrel.
The squirrel chases the lion.
@0: The cat needs the lion.[(triple1)] The cat needs the rabbit.[(triple2)] The cat needs the squirrel.[(triple3 OR ((triple11) -> rule1) OR ((triple14) -> rule1))] The lion chases the cat.[(triple4)] The lion chases the rabbit.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is cold.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is round.[(triple10)] The rabbit needs the cat.[(triple11)] The rabbit needs the lion.[(triple12)] The rabbit needs the squirrel.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel needs the lion.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The cat chases the lion.[(((triple3) -> rule7) OR ((((triple11) -> rule1)) -> rule7) OR ((((triple14) -> rule1)) -> rule7))] The cat chases the squirrel.[(((triple11) -> rule5))] The rabbit chases the lion.[(((triple13) -> rule7))] The rabbit is blue.[(((triple8) -> rule3))] @2: The cat is red.[(((triple2 ((triple8) -> rule3)) -> rule6))] The lion chases the squirrel.[(((((triple13) -> rule7) triple9) -> rule2))] The squirrel is red.[(((triple16 ((triple8) -> rule3)) -> rule6))] @3: The lion eats the cat.[(((triple6 ((triple16 ((triple8) -> rule3)) -> rule6)) -> rule4))]