The cat eats the rabbit. The cat is kind. The cat is nice. The cat needs the rabbit. The cat sees the rabbit. The rabbit is blue. The rabbit is rough. If the cat eats the rabbit then the rabbit sees the cat. If someone eats the rabbit and they need the rabbit then they are rough. If the rabbit sees the cat and the cat sees the rabbit then the rabbit eats the cat. If someone eats the cat and the cat sees the rabbit then the rabbit is cold. If the rabbit needs the cat then the cat needs the rabbit. If someone eats the cat then they are nice.
The rabbit is rough.
@0: The cat eats the rabbit.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat needs the rabbit.[(triple4)] The cat sees the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is rough.[(triple7)] @1: The cat is rough.[(((triple1 triple4) -> rule2))] The rabbit sees the cat.[(((triple1) -> rule1))] @2: The rabbit eats the cat.[(((((triple1) -> rule1) triple5) -> rule3))] @3: The rabbit is cold.[(((((((triple1) -> rule1) triple5) -> rule3) triple5) -> rule4))] The rabbit is nice.[(((((((triple1) -> rule1) triple5) -> rule3)) -> rule6))]