The rabbit is big. The rabbit is blue. The rabbit is red. The rabbit is rough. The rabbit is young. If someone is young then they are red. If someone is blue and big then they are red. All red, young people are big.
The rabbit is rough.
@0: The rabbit is big.[(triple1 OR ((triple3 triple5) -> rule3) OR ((((triple5) -> rule1) triple5) -> rule3))] The rabbit is blue.[(triple2)] The rabbit is red.[(triple3 OR ((triple5) -> rule1) OR ((triple2 triple1) -> rule2))] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)]