The cat is rough. The dog sees the mouse. The mouse is young. The rabbit sees the cat. If the rabbit is not rough then the rabbit is green. If something eats the cat and it likes the mouse then the mouse eats the rabbit. If the dog is big then the dog does not eat the mouse. If something is rough then it likes the cat. If something likes the cat then it is not big. If something eats the cat and it is not rough then it is big. If something likes the dog then it sees the rabbit. If the cat is not big then the cat likes the dog.
The cat is not rough.
@0: The cat is rough.[(triple1)] The dog sees the mouse.[(triple2)] The mouse is young.[(triple3)] The rabbit sees the cat.[(triple4)] @1: The cat likes the cat.[(((triple1) -> rule4))] @2: The cat is not big.[(((((triple1) -> rule4)) -> rule5))] @3: The cat likes the dog.[(((((((triple1) -> rule4)) -> rule5)) -> rule8))] @4: The cat sees the rabbit.[(((((((((triple1) -> rule4)) -> rule5)) -> rule8)) -> rule7))]