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