Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is round. Erin is cold. Erin is not furry. Erin is green. Erin is not nice. Erin is quiet. Erin is round. Erin is smart. If something is furry then it is nice. Nice things are quiet. If Erin is green then Erin is quiet.
Erin is furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule1))] Bob is quiet.[(triple4 OR ((triple3) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Bob is round.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple8)] Erin is not furry.[(triple7)] Erin is not nice.[(triple9)] Erin is quiet.[(triple10 OR ((triple8) -> rule3))] Erin is round.[(triple11)] Erin is smart.[(triple12)]