Bob is quiet. Bob is smart. Charlie is quiet. Charlie is not white. Fiona is young. Harry is big. Harry is nice. If something is quiet and white then it is green. All smart things are green. Green things are white. All smart, young things are big. White things are not young. If something is smart and not young then it is nice. If Bob is green and Bob is nice then Bob is big.
Harry is not white.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Charlie is not white.[(triple4)] Charlie is quiet.[(triple3)] Fiona is young.[(triple5)] Harry is big.[(triple6)] Harry is nice.[(triple7)] @1: Bob is green.[(((triple2) -> rule2))] @2: Bob is white.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is not young.[(((((((triple2) -> rule2)) -> rule3)) -> rule5))] @4: Bob is nice.[(((triple2 ((((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule6))] @5: Bob is big.[(((((triple2) -> rule2) ((triple2 ((((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule6)) -> rule7))]