Fiona is big. Fiona is smart. Gary is big. Gary is quiet. Gary is round. Gary is white. Harry is not cold. All smart, big people are red. If Gary is red then Gary is cold. If Harry is not cold then Harry is red. All quiet people are smart. If Harry is not quiet then Harry is white. If someone is round and not red then they are not white. If someone is cold and red then they are round. If someone is quiet and not smart then they are round.
Harry is round.
@0: Fiona is big.[(triple1)] Fiona is smart.[(triple2)] Gary is big.[(triple3)] Gary is quiet.[(triple4)] Gary is round.[(triple5 OR ((((((((triple4) -> rule4) triple3) -> rule1)) -> rule2) ((((triple4) -> rule4) triple3) -> rule1)) -> rule7))] Gary is white.[(triple6)] Harry is not cold.[(triple7)] @1: Fiona is red.[(((triple2 triple1) -> rule1))] Gary is smart.[(((triple4) -> rule4))] Harry is red.[(((triple7) -> rule3))] @2: Gary is red.[(((((triple4) -> rule4) triple3) -> rule1))] @3: Gary is cold.[(((((((triple4) -> rule4) triple3) -> rule1)) -> rule2))]