Bob is cold. Rough things are blue. Smart, cold things are quiet. If Bob is white and Bob is rough then Bob is smart. White, cold things are rough. If Bob is not furry then Bob is not rough. All cold things are white.
Bob is not smart.
@0: Bob is cold.[(triple1)] @1: Bob is white.[(((triple1) -> rule6))] @2: Bob is rough.[(((((triple1) -> rule6) triple1) -> rule4))] @3: Bob is blue.[(((((((triple1) -> rule6) triple1) -> rule4)) -> rule1))] Bob is smart.[(((((triple1) -> rule6) ((((triple1) -> rule6) triple1) -> rule4)) -> rule3))] @4: Bob is quiet.[(((((((triple1) -> rule6) ((((triple1) -> rule6) triple1) -> rule4)) -> rule3) triple1) -> rule2))]