The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is red. The rabbit is young. Big, blue things are young. If something is young then it is red. All red, big things are blue.
The rabbit is big.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple4 triple1) -> rule3) OR ((((triple5) -> rule2) triple1) -> rule3))] The rabbit is kind.[(triple3)] The rabbit is red.[(triple4 OR ((triple5) -> rule2) OR ((((triple1 triple2) -> rule1)) -> rule2))] The rabbit is young.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple4 triple1) -> rule3)) -> rule1))]