The cat is round. If the cat is kind and the cat is green then the cat is rough. All kind, big people are round. All rough, big people are green. All round, rough people are big. If someone is big then they are round. Round people are rough. Rough people are round. If someone is green then they are kind.
The cat is rough.
@0: The cat is round.[(triple1)] @1: The cat is rough.[(((triple1) -> rule6))] @2: The cat is big.[(((triple1 ((triple1) -> rule6)) -> rule4))] @3: The cat is green.[(((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule4)) -> rule3))] @4: The cat is kind.[(((((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule4)) -> rule3)) -> rule8))]