Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Dave is blue. Dave is smart. Erin is kind. Erin is quiet. Erin is red. Gary is blue. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Quiet, furry things are kind. If Dave is red and Dave is quiet then Dave is kind. Furry, nice things are red. If something is furry then it is blue. If something is smart and kind then it is nice. Smart things are nice. If something is smart and furry then it is nice. If something is kind then it is quiet.
Erin is red.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule4))] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple4 triple2) -> rule1))] Anne is quiet.[(triple4 OR ((triple3) -> rule8))] Anne is red.[(triple5)] Dave is blue.[(triple6)] Dave is smart.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((triple8) -> rule8))] Erin is red.[(triple10)] Gary is blue.[(triple11 OR ((triple12) -> rule4))] Gary is furry.[(triple12)] Gary is kind.[(triple13 OR ((triple14 triple12) -> rule1))] Gary is quiet.[(triple14 OR ((triple13) -> rule8))] Gary is red.[(triple15 OR ((triple12 ((triple16) -> rule6)) -> rule3) OR ((triple12 ((triple16 triple12) -> rule7)) -> rule3) OR ((triple12 ((triple16 triple13) -> rule5)) -> rule3) OR ((triple12 ((triple16 ((triple14 triple12) -> rule1)) -> rule5)) -> rule3))] Gary is smart.[(triple16)] @1: Dave is nice.[(((triple7) -> rule6))] Gary is nice.[(((triple16) -> rule6) OR ((triple16 triple12) -> rule7) OR ((triple16 triple13) -> rule5) OR ((triple16 ((triple14 triple12) -> rule1)) -> rule5))]