The cat likes the rabbit. The cat needs the cow. The cat visits the lion. The cat visits the rabbit. The cow is big. The cow is cold. The cow is rough. The cow needs the cat. The lion is cold. The lion likes the cat. The lion likes the cow. The lion needs the cow. The lion visits the rabbit. The rabbit is cold. The rabbit likes the lion. The rabbit needs the cat. If the lion needs the cat then the cat needs the rabbit. If someone needs the cat then the cat is big. If the lion is blue and the lion likes the cat then the cat likes the lion. If someone is cold then they are big. If the lion is cold then the lion is big. If someone is rough and cold then they need the cat. If someone needs the lion then they need the rabbit. If the rabbit likes the cow and the rabbit visits the cow then the cow likes the lion.
The cow does not need the cat.
@0: The cat likes the rabbit.[(triple1)] The cat needs the cow.[(triple2)] The cat visits the lion.[(triple3)] The cat visits the rabbit.[(triple4)] The cow is big.[(triple5 OR ((triple6) -> rule4))] The cow is cold.[(triple6)] The cow is rough.[(triple7)] The cow needs the cat.[(triple8 OR ((triple7 triple6) -> rule6))] The lion is cold.[(triple9)] The lion likes the cat.[(triple10)] The lion likes the cow.[(triple11)] The lion needs the cow.[(triple12)] The lion visits the rabbit.[(triple13)] The rabbit is cold.[(triple14)] The rabbit likes the lion.[(triple15)] The rabbit needs the cat.[(triple16)] @1: The cat is big.[(((triple16) -> rule2) OR ((triple8) -> rule2) OR ((((triple7 triple6) -> rule6)) -> rule2))] The lion is big.[(((triple9) -> rule4) OR ((triple9) -> rule5))] The rabbit is big.[(((triple14) -> rule4))]