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