Fiona is big. Fiona is not cold. Fiona is not furry. Fiona is red. Fiona is rough. Gary is big. Gary is cold. Gary is quiet. Gary is red. Gary is round. If Gary is not rough then Gary is furry. If Gary is round and Gary is big then Gary is furry. Furry, rough things are cold. Quiet things are furry. If something is round then it is quiet. If something is cold then it is round.
Gary is not cold.
@0: Fiona is big.[(triple1)] Fiona is not cold.[(triple2)] Fiona is not furry.[(triple3)] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is quiet.[(triple8 OR ((triple10) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Gary is red.[(triple9)] Gary is round.[(triple10 OR ((triple7) -> rule6))] @1: Gary is furry.[(((triple8) -> rule4) OR ((triple10 triple6) -> rule2) OR ((((triple10) -> rule5)) -> rule4) OR ((((triple7) -> rule6) triple6) -> rule2) OR ((((((triple7) -> rule6)) -> rule5)) -> rule4))]