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