Bob is big. Bob is quiet. Bob is smart. Bob is white. Charlie is big. Charlie is furry. Erin is big. Green, white people are quiet. If someone is quiet then they are green. White people are furry. Quiet, furry people are white. All white people are green. If someone is big then they are green.
Erin is round.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2 OR ((((triple1) -> rule6) triple4) -> rule1) OR ((((triple4) -> rule5) triple4) -> rule1))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Erin is big.[(triple7)] @1: Bob is furry.[(((triple4) -> rule3))] Bob is green.[(((triple1) -> rule6) OR ((triple2) -> rule2) OR ((triple4) -> rule5))] Charlie is green.[(((triple5) -> rule6))] Erin is green.[(((triple7) -> rule6))]