Erin is not big. Erin is green. Erin is red. Erin is rough. Erin is round. Erin is white. Fiona is big. Fiona is green. Fiona is round. Gary is not big. Gary is green. Gary is rough. If Gary is rough and Gary is green then Gary is not cold. If something is big and rough then it is round. If Erin is cold and Erin is green then Erin is big. If Fiona is round and Fiona is not white then Fiona is not rough. If Fiona is rough and Fiona is not white then Fiona is red. Cold things are green. If Fiona is red and Fiona is big then Fiona is cold. Big things are rough.
Fiona is green.
@0: Erin is green.[(triple2)] Erin is not big.[(triple1)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Fiona is round.[(triple9 OR ((triple7 ((triple7) -> rule8)) -> rule2))] Gary is green.[(triple11)] Gary is not big.[(triple10)] Gary is rough.[(triple12)] @1: Fiona is rough.[(((triple7) -> rule8))] Gary is not cold.[(((triple12 triple11) -> rule1))]