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