Dave is cold. Dave is kind. Dave is rough. Dave is smart. Dave is white. Fiona is not smart. Gary is big. Gary is cold. Gary is kind. Gary is rough. Gary is not smart. Gary is white. If something is kind and not smart then it is big. If Dave is smart and Dave is not big then Dave is not blue. If something is white and not kind then it is not cold. All blue things are cold. If something is white and not smart then it is blue. If Fiona is white then Fiona is not big. All cold things are white. If something is cold and not smart then it is white.
Gary is cold.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5 OR ((triple1) -> rule7))] Fiona is not smart.[(triple6)] Gary is big.[(triple7 OR ((triple9 triple11) -> rule1))] Gary is cold.[(triple8 OR ((((triple12 triple11) -> rule5)) -> rule4))] Gary is kind.[(triple9)] Gary is not smart.[(triple11)] Gary is rough.[(triple10)] Gary is white.[(triple12 OR ((triple8) -> rule7) OR ((triple8 triple11) -> rule8))] @1: Gary is blue.[(((triple12 triple11) -> rule5) OR ((((triple8) -> rule7) triple11) -> rule5) OR ((((triple8 triple11) -> rule8) triple11) -> rule5))]