The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit is young. If something is nice then it is big. Kind things are nice. All nice things are rough. If something is nice then it is rough. All kind, nice things are big. Big things are young. If the rabbit is kind then the rabbit is big. All big, nice things are kind.
The rabbit is rough.
@0: The rabbit is big.[(triple1 OR ((triple2) -> rule7) OR ((triple3) -> rule1) OR ((triple2 triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule1) OR ((triple2 ((triple2) -> rule2)) -> rule5))] The rabbit is kind.[(triple2 OR ((triple1 triple3) -> rule8) OR ((((triple3) -> rule1) triple3) -> rule8))] The rabbit is nice.[(triple3 OR ((triple2) -> rule2))] The rabbit is rough.[(triple4 OR ((triple3) -> rule3) OR ((triple3) -> rule4) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule2)) -> rule4))] The rabbit is young.[(triple5 OR ((triple1) -> rule6) OR ((((triple2) -> rule7)) -> rule6) OR ((((triple3) -> rule1)) -> rule6) OR ((((triple2 triple3) -> rule5)) -> rule6) OR ((((((triple2) -> rule2)) -> rule1)) -> rule6) OR ((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6))]