Dave is red. Erin is furry. Erin is rough. Erin is not young. Fiona is red. Fiona is white. Fiona is not young. Gary is furry. Gary is rough. Gary is white. If Gary is not furry then Gary is white. White things are big. All rough things are big. All big, red things are rough. Cold things are white. If Dave is young then Dave is furry. All big things are not young. If something is cold and white then it is red.
Fiona is cold.
@0: Dave is red.[(triple1)] Erin is furry.[(triple2)] Erin is not young.[(triple4 OR ((((triple3) -> rule3)) -> rule7))] Erin is rough.[(triple3)] Fiona is not young.[(triple7 OR ((((triple6) -> rule2)) -> rule7))] Fiona is red.[(triple5)] Fiona is white.[(triple6)] Gary is furry.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Erin is big.[(((triple3) -> rule3))] Fiona is big.[(((triple6) -> rule2))] Gary is big.[(((triple10) -> rule2) OR ((triple9) -> rule3))] @2: Fiona is rough.[(((((triple6) -> rule2) triple5) -> rule4))] Gary is not young.[(((((triple10) -> rule2)) -> rule7) OR ((((triple9) -> rule3)) -> rule7))]