Anne is cold. Anne is young. Erin is big. Erin is not round. Erin is young. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is rough. Gary is round. Gary is not young. Rough, round things are big. If something is cold and rough then it is round. If something is blue and cold then it is round. If Anne is not blue then Anne is furry. If Gary is cold then Gary is rough. All young, big things are furry. If something is blue then it is rough. If something is big and not cold then it is rough.
Gary is not furry.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Erin is big.[(triple3)] Erin is not round.[(triple4)] Erin is young.[(triple5)] Gary is big.[(triple6 OR ((triple10 triple11) -> rule1) OR ((triple10 ((triple7 triple8) -> rule3)) -> rule1) OR ((triple10 ((triple8 triple10) -> rule2)) -> rule1) OR ((((triple7) -> rule7) triple11) -> rule1) OR ((((triple8) -> rule5) triple11) -> rule1) OR ((((triple7) -> rule7) ((triple7 triple8) -> rule3)) -> rule1) OR ((((triple7) -> rule7) ((triple8 triple10) -> rule2)) -> rule1) OR ((((triple8) -> rule5) ((triple7 triple8) -> rule3)) -> rule1) OR ((((triple8) -> rule5) ((triple8 triple10) -> rule2)) -> rule1) OR ((triple10 ((triple8 ((triple7) -> rule7)) -> rule2)) -> rule1) OR ((triple10 ((triple8 ((triple8) -> rule5)) -> rule2)) -> rule1) OR ((((triple7) -> rule7) ((triple8 ((triple7) -> rule7)) -> rule2)) -> rule1) OR ((((triple7) -> rule7) ((triple8 ((triple8) -> rule5)) -> rule2)) -> rule1) OR ((((triple8) -> rule5) ((triple8 ((triple7) -> rule7)) -> rule2)) -> rule1) OR ((((triple8) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule2)) -> rule1))] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is not young.[(triple12)] Gary is rough.[(triple10 OR ((triple7) -> rule7) OR ((triple8) -> rule5))] Gary is round.[(triple11 OR ((triple7 triple8) -> rule3) OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple7) -> rule7)) -> rule2) OR ((triple8 ((triple8) -> rule5)) -> rule2))] @1: Erin is furry.[(((triple5 triple3) -> rule6))]