Charlie is furry. Erin is furry. Erin is young. Gary is furry. Gary is nice. Gary is red. Harry is red. Nice people are cold. All kind people are not red. If Charlie is rough and Charlie is furry then Charlie is red. All cold people are furry. If Erin is cold then Erin is kind. If someone is young then they are rough. If someone is rough then they are nice.
Gary is not young.
@0: Charlie is furry.[(triple1)] Erin is furry.[(triple2 OR ((((((((triple3) -> rule6)) -> rule7)) -> rule1)) -> rule4))] Erin is young.[(triple3)] Gary is furry.[(triple4 OR ((((triple5) -> rule1)) -> rule4))] Gary is nice.[(triple5)] Gary is red.[(triple6)] Harry is red.[(triple7)] @1: Erin is rough.[(((triple3) -> rule6))] Gary is cold.[(((triple5) -> rule1))] @2: Erin is nice.[(((((triple3) -> rule6)) -> rule7))] @3: Erin is cold.[(((((((triple3) -> rule6)) -> rule7)) -> rule1))] @4: Erin is kind.[(((((((((triple3) -> rule6)) -> rule7)) -> rule1)) -> rule5))] @5: Erin is not red.[(((((((((((triple3) -> rule6)) -> rule7)) -> rule1)) -> rule5)) -> rule2))]