Bob is round. Charlie is not cold. Charlie is furry. Charlie is red. Erin is blue. Erin is red. Erin is not round. If something is cold and red then it is not furry. All furry things are young. If something is young and green then it is not blue. If something is red then it is not cold. If Bob is young then Bob is not blue. All red, young things are green. If something is blue and furry then it is round. If something is blue and not furry then it is not round.
Bob is young.
@0: Bob is round.[(triple1)] Charlie is furry.[(triple3)] Charlie is not cold.[(triple2 OR ((triple4) -> rule4))] Charlie is red.[(triple4)] Erin is blue.[(triple5)] Erin is not round.[(triple7)] Erin is red.[(triple6)] @1: Charlie is young.[(((triple3) -> rule2))] Erin is not cold.[(((triple6) -> rule4))] @2: Charlie is green.[(((triple4 ((triple3) -> rule2)) -> rule6))] @3: Charlie is not blue.[(((((triple3) -> rule2) ((triple4 ((triple3) -> rule2)) -> rule6)) -> rule3))]