The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is round. Round things are green. If something is big and nice then it is kind. All kind things are green. If something is nice and round then it is green. Kind things are nice. Green, round things are kind.
The rabbit likes the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2 OR ((triple3) -> rule3) OR ((triple5) -> rule1) OR ((triple4 triple5) -> rule4) OR ((((triple1 triple4) -> rule2)) -> rule3) OR ((((triple3) -> rule5) triple5) -> rule4))] The rabbit is kind.[(triple3 OR ((triple1 triple4) -> rule2) OR ((triple2 triple5) -> rule6) OR ((((triple5) -> rule1) triple5) -> rule6) OR ((((triple4 triple5) -> rule4) triple5) -> rule6))] The rabbit is nice.[(triple4 OR ((triple3) -> rule5) OR ((((triple2 triple5) -> rule6)) -> rule5) OR ((((((triple5) -> rule1) triple5) -> rule6)) -> rule5))] The rabbit is round.[(triple5)]