Bob is blue. Charlie is quiet. All blue, smart things are nice. Rough things are nice. If something is round then it is rough. If something is smart then it is blue. Quiet, blue things are rough. All round things are blue. If something is nice then it is smart. Quiet things are round.
Bob is young.
@0: Bob is blue.[(triple1)] Charlie is quiet.[(triple2)] @1: Charlie is round.[(((triple2) -> rule8))] @2: Charlie is blue.[(((((triple2) -> rule8)) -> rule6) OR ((((((((((triple2) -> rule8)) -> rule3)) -> rule2)) -> rule7)) -> rule4))] Charlie is rough.[(((((triple2) -> rule8)) -> rule3) OR ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule5))] @3: Charlie is nice.[(((((((triple2) -> rule8)) -> rule3)) -> rule2) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule5)) -> rule2))] @4: Charlie is smart.[(((((((((triple2) -> rule8)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule5)) -> rule2)) -> rule7))]