Fiona is blue. Fiona is cold. Fiona is furry. Fiona is not nice. Fiona is not rough. Fiona is not round. Fiona is smart. Gary is furry. Gary is nice. Gary is not round. All cold, nice things are blue. If something is round and rough then it is blue. All furry things are blue. All rough things are smart. If something is nice and not rough then it is smart. Nice, blue things are smart. All smart things are not round. If something is cold and not furry then it is nice.
Gary is not round.
@0: Fiona is blue.[(triple1 OR ((triple3) -> rule3))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is not nice.[(triple4)] Fiona is not rough.[(triple5)] Fiona is not round.[(triple6 OR ((triple7) -> rule7))] Fiona is smart.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is not round.[(triple10 OR ((((triple9 ((triple8) -> rule3)) -> rule6)) -> rule7))] @1: Gary is blue.[(((triple8) -> rule3))] @2: Gary is smart.[(((triple9 ((triple8) -> rule3)) -> rule6))]