The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is round. If someone is round then they are big. If someone is big then they are round. Big, blue people are round. If the rabbit is kind and the rabbit is round then the rabbit is nice. If the rabbit is round and the rabbit is not big then the rabbit is not nice. Blue, round people are kind. Nice, round people are kind. If someone is nice and not big then they are kind.
The rabbit is kind.
@0: The rabbit is big.[(triple1 OR ((triple5) -> rule1))] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3 OR ((triple2 triple5) -> rule6) OR ((triple4 triple5) -> rule7) OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((triple2 ((triple1 triple2) -> rule3)) -> rule6) OR ((triple4 ((triple1) -> rule2)) -> rule7) OR ((triple4 ((triple1 triple2) -> rule3)) -> rule7))] The rabbit is nice.[(triple4 OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple1) -> rule2)) -> rule4) OR ((triple3 ((triple1 triple2) -> rule3)) -> rule4) OR ((((triple2 triple5) -> rule6) triple5) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple1) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple1 triple2) -> rule3)) -> rule4) OR ((((triple2 ((triple1) -> rule2)) -> rule6) triple5) -> rule4) OR ((((triple2 ((triple1 triple2) -> rule3)) -> rule6) triple5) -> rule4) OR ((((triple2 ((triple1) -> rule2)) -> rule6) ((triple1) -> rule2)) -> rule4) OR ((((triple2 ((triple1) -> rule2)) -> rule6) ((triple1 triple2) -> rule3)) -> rule4) OR ((((triple2 ((triple1 triple2) -> rule3)) -> rule6) ((triple1) -> rule2)) -> rule4) OR ((((triple2 ((triple1 triple2) -> rule3)) -> rule6) ((triple1 triple2) -> rule3)) -> rule4))] The rabbit is round.[(triple5 OR ((triple1) -> rule2) OR ((triple1 triple2) -> rule3))]