Bob is round. Bob is smart. Bob is white. Fiona is rough. Fiona is round. Fiona is not smart. Gary is not big. Gary is quiet. Gary is not rough. Gary is smart. If someone is rough then they are not quiet.
Gary is not white.
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Fiona is not smart.[(triple6)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Gary is not big.[(triple7)] Gary is not rough.[(triple9)] Gary is quiet.[(triple8)] Gary is smart.[(triple10)] @1: Fiona is not quiet.[(((triple4) -> rule1))]