The rabbit is big. The rabbit is nice. The rabbit is young. All young people are green. If someone is young then they are green. If someone is blue then they are nice. If someone is young and blue then they are big. All green people are nice. All green, blue people are young.
The rabbit is big.
@0: The rabbit is big.[(triple1)] The rabbit is nice.[(triple2 OR ((((triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule2)) -> rule5))] The rabbit is young.[(triple3)] @1: The rabbit is green.[(((triple3) -> rule1) OR ((triple3) -> rule2))]