The rabbit is big. The rabbit is kind. The rabbit is rough. If something is round then it is nice. All round things are nice. If the rabbit is rough and the rabbit is not kind then the rabbit is round. If the rabbit is rough then the rabbit is round. If something is nice and round then it is big. All kind things are rough. Big, round things are rough. If something is nice and not kind then it is not rough.
The rabbit does not see the rabbit.
@0: The rabbit is big.[(triple1 OR ((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple2) -> rule6)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule2) ((((triple2) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule1) ((((triple2) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule2) ((((triple2) -> rule6)) -> rule4)) -> rule5))] The rabbit is kind.[(triple2)] The rabbit is rough.[(triple3 OR ((triple2) -> rule6))] @1: The rabbit is round.[(((triple3) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] @2: The rabbit is nice.[(((((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple2) -> rule6)) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4)) -> rule2))]