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