The cow chases the lion. The cow eats the lion. The cow is cold. The cow is green. The cow is nice. The cow visits the lion. The lion chases the cow. The lion eats the cow. The lion is blue. The lion is nice. The lion is rough. The lion visits the cow. If someone chases the cow then the cow eats the lion. If someone visits the lion and they are blue then they are rough. If someone eats the lion and they are blue then they visit the cow. If someone eats the lion then they chase the cow. All green people are cold. If someone is nice then they chase the cow.
The lion visits the cow.
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2 OR ((triple7) -> rule1) OR ((((triple10) -> rule6)) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] The cow is cold.[(triple3 OR ((triple4) -> rule5))] The cow is green.[(triple4)] The cow is nice.[(triple5)] The cow visits the lion.[(triple6)] The lion chases the cow.[(triple7 OR ((triple10) -> rule6))] The lion eats the cow.[(triple8)] The lion is blue.[(triple9)] The lion is nice.[(triple10)] The lion is rough.[(triple11)] The lion visits the cow.[(triple12)] @1: The cow chases the cow.[(((triple2) -> rule4) OR ((triple5) -> rule6) OR ((((triple7) -> rule1)) -> rule4) OR ((((((triple10) -> rule6)) -> rule1)) -> rule4))]