Bob is big. Bob is quiet. Bob is rough. Bob is not round. Bob is white. Charlie is big. Charlie is nice. Charlie is round. Fiona is kind. Gary is round. If Fiona is big then Fiona is white. Nice, big things are quiet. If something is kind then it is big.
Gary is nice.
@0: Bob is big.[(triple1)] Bob is not round.[(triple4)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple5)] Charlie is big.[(triple6)] Charlie is nice.[(triple7)] Charlie is round.[(triple8)] Fiona is kind.[(triple9)] Gary is round.[(triple10)] @1: Charlie is quiet.[(((triple7 triple6) -> rule2))] Fiona is big.[(((triple9) -> rule3))] @2: Fiona is white.[(((((triple9) -> rule3)) -> rule1))]