The cat eats the rabbit. The cat is nice. The cat needs the rabbit. The cat sees the rabbit. The cow eats the cat. The cow eats the rabbit. The cow is big. The cow is nice. The cow needs the cat. The cow sees the cat. The cow sees the rabbit. The rabbit is cold. The rabbit needs the cat. The rabbit needs the cow. The rabbit sees the cat. The rabbit sees the cow. If someone is big then they eat the cat. If someone sees the cat and they eat the cow then the cat eats the rabbit. If someone eats the rabbit and they eat the cat then they need the rabbit. If someone eats the cat then they need the cow. If someone sees the cow then they are green. If the cow is blue and the cow needs the rabbit then the rabbit is big. If someone is blue and they eat the rabbit then they see the rabbit. If the cow is green then the cow eats the rabbit.
The cat is not nice.
@0: The cat eats the rabbit.[(triple1)] The cat is nice.[(triple2)] The cat needs the rabbit.[(triple3)] The cat sees the rabbit.[(triple4)] The cow eats the cat.[(triple5 OR ((triple7) -> rule1))] The cow eats the rabbit.[(triple6)] The cow is big.[(triple7)] The cow is nice.[(triple8)] The cow needs the cat.[(triple9)] The cow sees the cat.[(triple10)] The cow sees the rabbit.[(triple11)] The rabbit is cold.[(triple12)] The rabbit needs the cat.[(triple13)] The rabbit needs the cow.[(triple14)] The rabbit sees the cat.[(triple15)] The rabbit sees the cow.[(triple16)] @1: The cow needs the cow.[(((triple5) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] The cow needs the rabbit.[(((triple6 triple5) -> rule3) OR ((triple6 ((triple7) -> rule1)) -> rule3))] The rabbit is green.[(((triple16) -> rule5))]