Bob is quiet. Charlie is quiet. Gary is red. Harry is green. If something is smart and cold then it is big. Round, quiet things are smart. If something is cold then it is red. All round, smart things are quiet. All green, cold things are red. Cold, red things are big. Quiet things are round. Smart things are big.
Gary is not smart.
@0: Bob is quiet.[(triple1)] Charlie is quiet.[(triple2)] Gary is red.[(triple3)] Harry is green.[(triple4)] @1: Bob is round.[(((triple1) -> rule7))] Charlie is round.[(((triple2) -> rule7))] @2: Bob is smart.[(((((triple1) -> rule7) triple1) -> rule2))] Charlie is smart.[(((((triple2) -> rule7) triple2) -> rule2))] @3: Bob is big.[(((((((triple1) -> rule7) triple1) -> rule2)) -> rule8))] Charlie is big.[(((((((triple2) -> rule7) triple2) -> rule2)) -> rule8))]