Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is smart. Gary is furry. Gary is red. Red things are green. If something is smart then it is big. All furry, blue things are red. If something is blue then it is nice. All green things are blue. If Gary is furry and Gary is big then Gary is blue. All green, smart things are furry. Nice things are blue.
Erin is not big.
@0: Erin is big.[(triple1 OR ((triple5) -> rule2))] Erin is blue.[(triple2 OR ((triple4) -> rule5))] Erin is furry.[(triple3 OR ((triple4 triple5) -> rule7))] Erin is green.[(triple4 OR ((((triple3 triple2) -> rule3)) -> rule1))] Erin is smart.[(triple5)] Gary is furry.[(triple6)] Gary is red.[(triple7)] @1: Erin is nice.[(((triple2) -> rule4) OR ((((triple4) -> rule5)) -> rule4))] Erin is red.[(((triple3 triple2) -> rule3) OR ((triple3 ((triple4) -> rule5)) -> rule3) OR ((((triple4 triple5) -> rule7) triple2) -> rule3) OR ((((triple4 triple5) -> rule7) ((triple4) -> rule5)) -> rule3))] Gary is green.[(((triple7) -> rule1))] @2: Gary is blue.[(((((triple7) -> rule1)) -> rule5))] @3: Gary is nice.[(((((((triple7) -> rule1)) -> rule5)) -> rule4))]