Bob is rough. Fiona is green. Harry is rough. Furry people are quiet. All furry people are quiet. All green people are quiet. If someone is quiet and cold then they are young. All young people are green. If someone is rough then they are furry. Green people are rough. All rough, furry people are cold.
Bob is not cold.
@0: Bob is rough.[(triple1)] Fiona is green.[(triple2)] Harry is rough.[(triple3)] @1: Bob is furry.[(((triple1) -> rule6))] Fiona is quiet.[(((triple2) -> rule3) OR ((((((triple2) -> rule7)) -> rule6)) -> rule1) OR ((((((triple2) -> rule7)) -> rule6)) -> rule2))] Fiona is rough.[(((triple2) -> rule7))] Harry is furry.[(((triple3) -> rule6))] @2: Bob is cold.[(((triple1 ((triple1) -> rule6)) -> rule8))] Bob is quiet.[(((((triple1) -> rule6)) -> rule1) OR ((((triple1) -> rule6)) -> rule2))] Fiona is furry.[(((((triple2) -> rule7)) -> rule6))] Harry is cold.[(((triple3 ((triple3) -> rule6)) -> rule8))] Harry is quiet.[(((((triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule6)) -> rule2))] @3: Bob is young.[(((((((triple1) -> rule6)) -> rule1) ((triple1 ((triple1) -> rule6)) -> rule8)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2) ((triple1 ((triple1) -> rule6)) -> rule8)) -> rule4))] Fiona is cold.[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule6)) -> rule8))] Harry is young.[(((((((triple3) -> rule6)) -> rule1) ((triple3 ((triple3) -> rule6)) -> rule8)) -> rule4) OR ((((((triple3) -> rule6)) -> rule2) ((triple3 ((triple3) -> rule6)) -> rule8)) -> rule4))] @4: Bob is green.[(((((((((triple1) -> rule6)) -> rule1) ((triple1 ((triple1) -> rule6)) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule6)) -> rule2) ((triple1 ((triple1) -> rule6)) -> rule8)) -> rule4)) -> rule5))] Fiona is young.[(((((triple2) -> rule3) ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule6)) -> rule1) ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule6)) -> rule2) ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule6)) -> rule8)) -> rule4))] Harry is green.[(((((((((triple3) -> rule6)) -> rule1) ((triple3 ((triple3) -> rule6)) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule2) ((triple3 ((triple3) -> rule6)) -> rule8)) -> rule4)) -> rule5))]