The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is nice. If the rabbit is kind then the rabbit is big. All big, kind people are green. If the rabbit is big then the rabbit is nice. All blue, green people are nice. All kind, nice people are big. If someone is big then they are kind.
The rabbit likes the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple4) -> rule1) OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple2 triple3) -> rule4)) -> rule5))] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1) -> rule6)) -> rule2) OR ((((triple4) -> rule1) triple4) -> rule2) OR ((((triple4 triple5) -> rule5) triple4) -> rule2) OR ((((triple4) -> rule1) ((triple1) -> rule6)) -> rule2) OR ((((triple4 triple5) -> rule5) ((triple1) -> rule6)) -> rule2))] The rabbit is kind.[(triple4 OR ((triple1) -> rule6))] The rabbit is nice.[(triple5 OR ((triple1) -> rule3) OR ((triple2 triple3) -> rule4) OR ((((triple4) -> rule1)) -> rule3) OR ((triple2 ((triple1 triple4) -> rule2)) -> rule4) OR ((triple2 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule1) triple4) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule1) ((triple1) -> rule6)) -> rule2)) -> rule4))]