Erin is big. Erin is kind. Erin is quiet. Erin is rough. Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Gary is big. Gary is cold. Gary is quiet. Gary is rough. Gary is smart. All kind, big things are red. If something is rough then it is cold. All big things are quiet. If Gary is cold then Gary is smart. Quiet things are red. If something is cold and kind then it is rough.
Fiona is cold.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3 OR ((triple1) -> rule3))] Erin is rough.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6 OR ((triple10) -> rule2))] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8 OR ((triple5) -> rule3))] Fiona is red.[(triple9 OR ((triple8) -> rule5) OR ((triple7 triple5) -> rule1) OR ((((triple5) -> rule3)) -> rule5))] Fiona is rough.[(triple10 OR ((triple6 triple7) -> rule6))] Fiona is smart.[(triple11)] Gary is big.[(triple12)] Gary is cold.[(triple13 OR ((triple15) -> rule2))] Gary is quiet.[(triple14 OR ((triple12) -> rule3))] Gary is rough.[(triple15)] Gary is smart.[(triple16 OR ((triple13) -> rule4) OR ((((triple15) -> rule2)) -> rule4))] @1: Erin is cold.[(((triple4) -> rule2))] Erin is red.[(((triple3) -> rule5) OR ((triple2 triple1) -> rule1) OR ((((triple1) -> rule3)) -> rule5))] Gary is red.[(((triple14) -> rule5) OR ((((triple12) -> rule3)) -> rule5))]