The mouse is rough. The mouse likes the rabbit. The mouse likes the tiger. The mouse visits the rabbit. The rabbit is red. The rabbit is round. The rabbit likes the tiger. The rabbit visits the tiger. The tiger is nice. The tiger is rough. Red, nice things are kind. If something likes the rabbit then the rabbit is nice.
The rabbit visits the rabbit.
@0: The mouse is rough.[(triple1)] The mouse likes the rabbit.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse visits the rabbit.[(triple4)] The rabbit is red.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger is nice.[(triple9)] The tiger is rough.[(triple10)] @1: The rabbit is nice.[(((triple2) -> rule2))] @2: The rabbit is kind.[(((triple5 ((triple2) -> rule2)) -> rule1))]