The rabbit is big. The rabbit is not blue. The rabbit is cold. The rabbit is kind. The rabbit is red. All kind people are big. If someone is red then they are big. Kind people are red. Kind, blue people are red. If someone is red then they are kind. If someone is big and red then they are kind. If someone is big and blue then they are kind. If someone is red then they are kind.
The rabbit does not visit the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple4) -> rule1) OR ((triple5) -> rule2) OR ((((triple4) -> rule3)) -> rule2) OR ((((triple5) -> rule5)) -> rule1) OR ((((triple5) -> rule8)) -> rule1))] The rabbit is cold.[(triple3)] The rabbit is kind.[(triple4 OR ((triple5) -> rule5) OR ((triple5) -> rule8) OR ((triple1 triple5) -> rule6) OR ((((triple5) -> rule2) triple5) -> rule6))] The rabbit is not blue.[(triple2)] The rabbit is red.[(triple5 OR ((triple4) -> rule3))]