Anne is nice. Dave is furry. Dave is red. Erin is red. Erin is round. Gary is big. Gary is furry. Gary is nice. Gary is rough. Gary is smart. If Dave is nice then Dave is red. If someone is big and furry then they are red. If someone is red and big then they are furry. Big, furry people are smart. Big, rough people are nice. If Erin is red then Erin is big.
Anne is rough.
@0: Anne is nice.[(triple1)] Dave is furry.[(triple2)] Dave is red.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8 OR ((triple6 triple9) -> rule5))] Gary is rough.[(triple9)] Gary is smart.[(triple10 OR ((triple6 triple7) -> rule4))] @1: Erin is big.[(((triple4) -> rule6))] Gary is red.[(((triple6 triple7) -> rule2))] @2: Erin is furry.[(((triple4 ((triple4) -> rule6)) -> rule3))] @3: Erin is smart.[(((((triple4) -> rule6) ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule4))]