Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is blue. Gary is furry. Gary is quiet. Gary is smart. Gary is white. If someone is rough then they are nice. If Fiona is blue and Fiona is quiet then Fiona is rough.
Gary is not nice.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is nice.[(triple3 OR ((((triple1 triple4) -> rule2)) -> rule1))] Fiona is quiet.[(triple4)] Fiona is smart.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is quiet.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Fiona is rough.[(((triple1 triple4) -> rule2))]