Bob is round. Charlie is white. Charlie is young. Dave is round. Dave is smart. Fiona is quiet. Fiona is young. All young things are smart. All nice things are smart. If Bob is nice and Bob is young then Bob is smart. If something is young and white then it is big. If Dave is round then Dave is white. If something is smart and quiet then it is white.
Charlie is not big.
@0: Bob is round.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Fiona is quiet.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is big.[(((triple3 triple2) -> rule4))] Charlie is smart.[(((triple3) -> rule1))] Dave is white.[(((triple4) -> rule5))] Fiona is smart.[(((triple7) -> rule1))] @2: Fiona is white.[(((((triple7) -> rule1) triple6) -> rule6))] @3: Fiona is big.[(((triple7 ((((triple7) -> rule1) triple6) -> rule6)) -> rule4))]