Fiona is big. Fiona is cold. Fiona is not nice. Fiona is quiet. Fiona is red. Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is rough. If Fiona is blue and Fiona is not big then Fiona is cold. All red people are blue. If someone is big and nice then they are cold.
Fiona is red.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is not nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7 OR ((triple11) -> rule2))] Gary is cold.[(triple8 OR ((triple6 triple9) -> rule3))] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Fiona is blue.[(((triple5) -> rule2))]