Bob is green. Bob is rough. Bob is round. Charlie is not green. Charlie is rough. Charlie is round. Charlie is smart. Erin is green. Erin is round. Erin is smart. Harry is furry. Harry is young. All smart, rough things are not furry. All green, round things are smart. If something is young and not rough then it is not round. All green things are round. Rough things are young. All young things are quiet. If something is rough and not young then it is not quiet. If Bob is not smart and Bob is not quiet then Bob is furry.
Erin is not rough.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple1) -> rule4))] Charlie is not green.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Erin is green.[(triple8)] Erin is round.[(triple9 OR ((triple8) -> rule4))] Erin is smart.[(triple10 OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple8) -> rule4)) -> rule2))] Harry is furry.[(triple11)] Harry is young.[(triple12)] @1: Bob is smart.[(((triple1 triple3) -> rule2) OR ((triple1 ((triple1) -> rule4)) -> rule2))] Bob is young.[(((triple2) -> rule5))] Charlie is not furry.[(((triple7 triple5) -> rule1))] Charlie is young.[(((triple5) -> rule5))] Harry is quiet.[(((triple12) -> rule6))] @2: Bob is not furry.[(((((triple1 triple3) -> rule2) triple2) -> rule1) OR ((((triple1 ((triple1) -> rule4)) -> rule2) triple2) -> rule1))] Bob is quiet.[(((((triple2) -> rule5)) -> rule6))] Charlie is quiet.[(((((triple5) -> rule5)) -> rule6))]