Bob is kind. Bob is nice. Charlie is green. Charlie is nice. Charlie is quiet. Erin is cold. Harry is green. Young people are furry. All green people are kind. All cold people are young. All nice, kind people are young. If someone is young and green then they are kind. If someone is young and kind then they are green. If someone is furry and nice then they are quiet. Kind, furry people are quiet.
Bob is cold.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((((((triple4 ((triple3) -> rule2)) -> rule4)) -> rule1) triple4) -> rule7) OR ((((triple3) -> rule2) ((((triple4 ((triple3) -> rule2)) -> rule4)) -> rule1)) -> rule8))] Erin is cold.[(triple6)] Harry is green.[(triple7)] @1: Bob is young.[(((triple2 triple1) -> rule4))] Charlie is kind.[(((triple3) -> rule2))] Erin is young.[(((triple6) -> rule3))] Harry is kind.[(((triple7) -> rule2))] @2: Bob is furry.[(((((triple2 triple1) -> rule4)) -> rule1))] Bob is green.[(((((triple2 triple1) -> rule4) triple1) -> rule6))] Charlie is young.[(((triple4 ((triple3) -> rule2)) -> rule4))] Erin is furry.[(((((triple6) -> rule3)) -> rule1))] @3: Bob is quiet.[(((triple1 ((((triple2 triple1) -> rule4)) -> rule1)) -> rule8) OR ((((((triple2 triple1) -> rule4)) -> rule1) triple2) -> rule7))] Charlie is furry.[(((((triple4 ((triple3) -> rule2)) -> rule4)) -> rule1))]