Bob is not cold. Bob is green. Charlie is cold. Charlie is rough. Charlie is round. Erin is furry. Erin is round. Gary is furry. Gary is green. Gary is young. If Charlie is not rough then Charlie is not smart. If something is cold and smart then it is not green. All round, smart things are not young. If Erin is young then Erin is smart. If Charlie is furry and Charlie is rough then Charlie is young. Round, cold things are smart. If Bob is not young and Bob is not round then Bob is rough. If Bob is not young and Bob is not rough then Bob is not green.
Gary is young.
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1)] Charlie is cold.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Erin is furry.[(triple6)] Erin is round.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10)] @1: Charlie is smart.[(((triple5 triple3) -> rule6))] @2: Charlie is not green.[(((triple3 ((triple5 triple3) -> rule6)) -> rule2))] Charlie is not young.[(((triple5 ((triple5 triple3) -> rule6)) -> rule3))]