Bob is nice. Bob is round. Bob is young. Charlie is not nice. Charlie is white. Fiona is big. Fiona is not quiet. Fiona is red. Harry is big. Harry is quiet. Harry is red. Harry is round. If Fiona is nice and Fiona is big then Fiona is round. All white things are round.
Charlie is round.
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Charlie is not nice.[(triple4)] Charlie is white.[(triple5)] Fiona is big.[(triple6)] Fiona is not quiet.[(triple7)] Fiona is red.[(triple8)] Harry is big.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Charlie is round.[(((triple5) -> rule2))]