Bob is blue. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Erin is blue. Erin is cold. Erin is furry. Erin is not nice. Erin is quiet. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. If someone is furry then they are cold. If Erin is blue and Erin is quiet then Erin is furry. If someone is rough and not nice then they are quiet.
Bob is furry.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7 OR ((triple8) -> rule1) OR ((((triple6 triple10) -> rule2)) -> rule1))] Erin is furry.[(triple8 OR ((triple6 triple10) -> rule2))] Erin is not nice.[(triple9)] Erin is quiet.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12 OR ((triple13) -> rule1))] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16)]