Bob is big. Young, round things are red. Rough, young things are round. All young, big things are cold. Red things are round. Round, big things are rough. Red, smart things are rough. All young things are red. If something is big then it is young.
Bob is big.
@0: Bob is big.[(triple1)] @1: Bob is young.[(((triple1) -> rule8))] @2: Bob is cold.[(((((triple1) -> rule8) triple1) -> rule3))] Bob is red.[(((((triple1) -> rule8)) -> rule7))] @3: Bob is round.[(((((((triple1) -> rule8)) -> rule7)) -> rule4))] @4: Bob is rough.[(((((((((triple1) -> rule8)) -> rule7)) -> rule4) triple1) -> rule5))]