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