The rabbit is red. All young, red people are big. Round people are rough. If someone is red and rough then they are young. All rough, red people are round. If someone is red and rough then they are big. If the rabbit is round then the rabbit is young. If the rabbit is rough then the rabbit is young. All red people are round.
The rabbit likes the rabbit.
@0: The rabbit is red.[(triple1)] @1: The rabbit is round.[(((triple1) -> rule8))] @2: The rabbit is rough.[(((((triple1) -> rule8)) -> rule2))] The rabbit is young.[(((((triple1) -> rule8)) -> rule6) OR ((((((triple1) -> rule8)) -> rule2)) -> rule7) OR ((triple1 ((((triple1) -> rule8)) -> rule2)) -> rule3))] @3: The rabbit is big.[(((triple1 ((((triple1) -> rule8)) -> rule2)) -> rule5) OR ((((((triple1) -> rule8)) -> rule6) triple1) -> rule1) OR ((((((((triple1) -> rule8)) -> rule2)) -> rule7) triple1) -> rule1) OR ((((triple1 ((((triple1) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1))]