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