The cat is cold. The cat sees the cow. The cat sees the rabbit. The cow eats the cat. The cow is nice. The dog eats the cat. The dog eats the rabbit. The dog needs the rabbit. The dog sees the cat. The dog sees the cow. The dog sees the rabbit. The rabbit is red. If something eats the cat then the cat is round.
The cat sees the cow.
@0: The cat is cold.[(triple1)] The cat sees the cow.[(triple2)] The cat sees the rabbit.[(triple3)] The cow eats the cat.[(triple4)] The cow is nice.[(triple5)] The dog eats the cat.[(triple6)] The dog eats the rabbit.[(triple7)] The dog needs the rabbit.[(triple8)] The dog sees the cat.[(triple9)] The dog sees the cow.[(triple10)] The dog sees the rabbit.[(triple11)] The rabbit is red.[(triple12)] @1: The cat is round.[(((triple4) -> rule1) OR ((triple6) -> rule1))]