Erin is green. Erin is smart. Fiona is big. Fiona is rough. Gary is not smart. Gary is not young. Harry is big. Big, furry things are not young. All smart things are kind. If Harry is smart then Harry is rough. Furry things are green. All young things are not green. All rough, big things are furry. Smart, rough things are big. If something is smart and kind then it is rough. If Harry is young and Harry is kind then Harry is furry.
Erin is big.
@0: Erin is green.[(triple1 OR ((((((triple2 ((triple2) -> rule2)) -> rule8) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7)) -> rule6)) -> rule4))] Erin is smart.[(triple2)] Fiona is big.[(triple3)] Fiona is rough.[(triple4)] Gary is not smart.[(triple5)] Gary is not young.[(triple6)] Harry is big.[(triple7)] @1: Erin is kind.[(((triple2) -> rule2))] Fiona is furry.[(((triple4 triple3) -> rule6))] @2: Erin is rough.[(((triple2 ((triple2) -> rule2)) -> rule8))] Fiona is green.[(((((triple4 triple3) -> rule6)) -> rule4))] Fiona is not young.[(((triple3 ((triple4 triple3) -> rule6)) -> rule1))] @3: Erin is big.[(((triple2 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7))] @4: Erin is furry.[(((((triple2 ((triple2) -> rule2)) -> rule8) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7)) -> rule6))] @5: Erin is not young.[(((((triple2 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) ((((triple2 ((triple2) -> rule2)) -> rule8) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7)) -> rule6)) -> rule1))]