The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is round. If someone is big and kind then they are round. If the rabbit is big then the rabbit is round. Round people are kind. All round people are red. All round people are kind. Big, cold people are red.
The rabbit is big.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is kind.[(triple3 OR ((triple5) -> rule3) OR ((triple5) -> rule5) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule2)) -> rule5))] The rabbit is red.[(triple4 OR ((triple5) -> rule4) OR ((triple1 triple2) -> rule6) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple1 triple3) -> rule1)) -> rule4))] The rabbit is round.[(triple5 OR ((triple1) -> rule2) OR ((triple1 triple3) -> rule1))]