Charlie is furry. Erin is furry. Erin is nice. Gary is cold. Gary is furry. Gary is red. Gary is round. All round things are furry. If something is white and quiet then it is nice. All cold, red things are round. If something is red then it is round. Nice things are red. All quiet, white things are round. All cold things are furry. White things are nice.
Gary is cold.
@0: Charlie is furry.[(triple1)] Erin is furry.[(triple2 OR ((((((triple3) -> rule5)) -> rule4)) -> rule1))] Erin is nice.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5 OR ((triple4) -> rule7) OR ((triple7) -> rule1) OR ((((triple6) -> rule4)) -> rule1) OR ((((triple4 triple6) -> rule3)) -> rule1))] Gary is red.[(triple6)] Gary is round.[(triple7 OR ((triple6) -> rule4) OR ((triple4 triple6) -> rule3))] @1: Erin is red.[(((triple3) -> rule5))] @2: Erin is round.[(((((triple3) -> rule5)) -> rule4))]