Bob is furry. Bob is quiet. Erin is blue. Erin is furry. Erin is round. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Harry is blue. Harry is not furry. Harry is kind. If Erin is rough then Erin is furry. If someone is round and blue then they are rough. Quiet, furry people are round. If Bob is quiet and Bob is round then Bob is kind. If someone is kind then they are cold. All furry, cold people are blue.
Harry is not quiet.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Erin is blue.[(triple3)] Erin is furry.[(triple4 OR ((((triple5 triple3) -> rule2)) -> rule1))] Erin is round.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple12)] Harry is not furry.[(triple11)] @1: Bob is round.[(((triple2 triple1) -> rule3))] Erin is rough.[(((triple5 triple3) -> rule2))] Gary is cold.[(((triple6) -> rule5))] Harry is cold.[(((triple12) -> rule5))] @2: Bob is kind.[(((triple2 ((triple2 triple1) -> rule3)) -> rule4))] @3: Bob is cold.[(((((triple2 ((triple2 triple1) -> rule3)) -> rule4)) -> rule5))] @4: Bob is blue.[(((triple1 ((((triple2 ((triple2 triple1) -> rule3)) -> rule4)) -> rule5)) -> rule6))] @5: Bob is rough.[(((((triple2 triple1) -> rule3) ((triple1 ((((triple2 ((triple2 triple1) -> rule3)) -> rule4)) -> rule5)) -> rule6)) -> rule2))]