Fiona is big. Fiona is blue. Fiona is not cold. Gary is not big. Gary is blue. Gary is cold. Gary is kind. Gary is round. Gary is smart. Gary is white. All big, cold people are round. If someone is big then they are round. If Fiona is smart and Fiona is not big then Fiona is not kind. If someone is round and big then they are smart. If Fiona is big and Fiona is not cold then Fiona is blue. If someone is big then they are not white. All round, kind people are white. If someone is blue and not round then they are not white.
Fiona is not cold.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1 triple3) -> rule5))] Fiona is not cold.[(triple3)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] Gary is not big.[(triple4)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10 OR ((triple8 triple7) -> rule7))] @1: Fiona is not white.[(((triple1) -> rule6))] Fiona is round.[(((triple1) -> rule2))] @2: Fiona is smart.[(((((triple1) -> rule2) triple1) -> rule4))]