Erin is big. Erin is furry. Erin is round. Fiona is blue. Fiona is furry. Fiona is smart. Gary is blue. If Erin is smart and Erin is furry then Erin is blue. Big people are smart. If Gary is rough then Gary is furry. Smart, blue people are big. All rough people are furry. All green people are blue. All big, round people are smart. If someone is round then they are furry.
Erin is not rough.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule8))] Erin is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is smart.[(triple6)] Gary is blue.[(triple7)] @1: Erin is smart.[(((triple1) -> rule2) OR ((triple1 triple3) -> rule7))] Fiona is big.[(((triple6 triple4) -> rule4))] @2: Erin is blue.[(((((triple1) -> rule2) triple2) -> rule1) OR ((((triple1 triple3) -> rule7) triple2) -> rule1) OR ((((triple1) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((((triple1 triple3) -> rule7) ((triple3) -> rule8)) -> rule1))]