Bob is furry. Bob is young. Dave is furry. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is white. Erin is young. Gary is cold. Gary is kind. Gary is red. If something is white then it is furry. If something is young then it is red.
Erin is cold.
@0: Bob is furry.[(triple1)] Bob is young.[(triple2)] Dave is furry.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6 OR ((triple9) -> rule2))] Erin is rough.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is red.[(triple12)] @1: Bob is red.[(((triple2) -> rule2))] Erin is furry.[(((triple8) -> rule1))]