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