The cow chases the lion. The cow chases the rabbit. The cow is round. The cow needs the rabbit. The cow visits the lion. The cow visits the rabbit. The lion chases the cow. The rabbit chases the cow. The rabbit is red. The rabbit is round. The rabbit needs the lion. The rabbit visits the lion. If someone chases the rabbit and the rabbit needs the lion then the rabbit is kind. If someone visits the lion and they chase the cow then the cow chases the lion. If someone chases the lion then the lion chases the rabbit. If someone chases the rabbit then they visit the cow. If someone chases the lion and the lion visits the cow then they need the cow. If someone visits the rabbit and they chase the lion then they chase the cow.
The lion needs the rabbit.
@0: The cow chases the lion.[(triple1 OR ((triple12 triple8) -> rule2))] The cow chases the rabbit.[(triple2)] The cow is round.[(triple3)] The cow needs the rabbit.[(triple4)] The cow visits the lion.[(triple5)] The cow visits the rabbit.[(triple6)] The lion chases the cow.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit is red.[(triple9)] The rabbit is round.[(triple10)] The rabbit needs the lion.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The cow chases the cow.[(((triple6 triple1) -> rule6) OR ((triple6 ((triple12 triple8) -> rule2)) -> rule6))] The cow visits the cow.[(((triple2) -> rule4))] The lion chases the rabbit.[(((triple1) -> rule3) OR ((((triple12 triple8) -> rule2)) -> rule3))] The rabbit is kind.[(((triple2 triple11) -> rule1) OR ((((triple1) -> rule3) triple11) -> rule1) OR ((((((triple12 triple8) -> rule2)) -> rule3) triple11) -> rule1))] @2: The lion visits the cow.[(((((triple1) -> rule3)) -> rule4) OR ((((((triple12 triple8) -> rule2)) -> rule3)) -> rule4))] @3: The cow needs the cow.[(((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule5) OR ((((triple12 triple8) -> rule2) ((((triple1) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((triple12 triple8) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((((triple12 triple8) -> rule2) ((((((triple12 triple8) -> rule2)) -> rule3)) -> rule4)) -> rule5))]