Bob is quiet. Charlie is cold. Charlie is round. All big things are quiet. If Charlie is quiet then Charlie is smart. Cold things are big. All young things are round. All quiet, round things are smart. If something is quiet and smart then it is cold. If Bob is cold and Bob is big then Bob is young. Cold, big things are blue.
Charlie is young.
@0: Bob is quiet.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] @1: Charlie is big.[(((triple2) -> rule3))] @2: Charlie is blue.[(((triple2 ((triple2) -> rule3)) -> rule8))] Charlie is quiet.[(((((triple2) -> rule3)) -> rule1))] @3: Charlie is smart.[(((((((triple2) -> rule3)) -> rule1)) -> rule2) OR ((((((triple2) -> rule3)) -> rule1) triple3) -> rule5))]