The cow likes the lion. The dog chases the lion. The dog likes the cow. The dog likes the lion. The dog needs the cow. The dog needs the lion. The lion is big. If someone likes the lion then they need the cow. If someone chases the lion then they are not cold. If the lion is young then the lion does not like the dog. If the lion is big and the lion chases the cow then the lion needs the dog. If someone likes the lion then the lion chases the cow. If the lion needs the dog then the lion is young.
The lion likes the cow.
@0: The cow likes the lion.[(triple1)] The dog chases the lion.[(triple2)] The dog likes the cow.[(triple3)] The dog likes the lion.[(triple4)] The dog needs the cow.[(triple5 OR ((triple4) -> rule1))] The dog needs the lion.[(triple6)] The lion is big.[(triple7)] @1: The cow needs the cow.[(((triple1) -> rule1))] The dog is not cold.[(((triple2) -> rule2))] The lion chases the cow.[(((triple1) -> rule5) OR ((triple4) -> rule5))] @2: The lion needs the dog.[(((triple7 ((triple1) -> rule5)) -> rule4) OR ((triple7 ((triple4) -> rule5)) -> rule4))] @3: The lion is young.[(((((triple7 ((triple1) -> rule5)) -> rule4)) -> rule6) OR ((((triple7 ((triple4) -> rule5)) -> rule4)) -> rule6))] @4: The lion does not like the dog.[(((((((triple7 ((triple1) -> rule5)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple7 ((triple4) -> rule5)) -> rule4)) -> rule6)) -> rule3))]