The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is not nice. The rabbit is red. If the rabbit is green and the rabbit is not nice then the rabbit is red. If someone is big then they are red. All nice people are green. Green people are blue. If someone is red and green then they are blue. If someone is blue then they are big.
The rabbit does not visit the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple2) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple5 triple3) -> rule5)) -> rule6) OR ((((((triple3 triple4) -> rule1) triple3) -> rule5)) -> rule6))] The rabbit is blue.[(triple2 OR ((triple3) -> rule4) OR ((triple5 triple3) -> rule5) OR ((((triple1) -> rule2) triple3) -> rule5) OR ((((triple3 triple4) -> rule1) triple3) -> rule5))] The rabbit is green.[(triple3)] The rabbit is not nice.[(triple4)] The rabbit is red.[(triple5 OR ((triple1) -> rule2) OR ((triple3 triple4) -> rule1) OR ((((triple2) -> rule6)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6)) -> rule2))]