Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is young. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is red. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is young. Nice people are red. Red people are quiet.
Bob is red.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is young.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is quiet.[(triple9 OR ((triple10) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Erin is red.[(triple10 OR ((triple8) -> rule1))] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14 OR ((triple15) -> rule2) OR ((((triple13) -> rule1)) -> rule2))] Harry is red.[(triple15 OR ((triple13) -> rule1))] Harry is young.[(triple16)] @1: Bob is red.[(((triple4) -> rule1))] @2: Bob is quiet.[(((((triple4) -> rule1)) -> rule2))]