Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Erin is furry. Erin is red. Gary is cold. Gary is red. Gary is rough. Gary is round. All furry things are red. If Gary is cold and Gary is kind then Gary is rough. If something is kind then it is cold.
Erin is rough.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule3))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple2) -> rule1))] Charlie is rough.[(triple6)] Erin is furry.[(triple7)] Erin is red.[(triple8 OR ((triple7) -> rule1))] Gary is cold.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)]