The cow needs the mouse. The cow needs the tiger. The cow sees the tiger. The mouse needs the tiger. The rabbit is young. The rabbit sees the tiger. The tiger sees the rabbit. If someone sees the tiger then the tiger is red. If someone sees the rabbit and they see the mouse then they are rough. If someone is red then they see the mouse.
The rabbit is rough.
@0: The cow needs the mouse.[(triple1)] The cow needs the tiger.[(triple2)] The cow sees the tiger.[(triple3)] The mouse needs the tiger.[(triple4)] The rabbit is young.[(triple5)] The rabbit sees the tiger.[(triple6)] The tiger sees the rabbit.[(triple7)] @1: The tiger is red.[(((triple3) -> rule1) OR ((triple6) -> rule1))] @2: The tiger sees the mouse.[(((((triple3) -> rule1)) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] @3: The tiger is rough.[(((triple7 ((((triple3) -> rule1)) -> rule3)) -> rule2) OR ((triple7 ((((triple6) -> rule1)) -> rule3)) -> rule2))]