Bob is furry. Bob is green. Bob is kind. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Harry is cold. Harry is furry. Harry is quiet. All green things are cold. If something is green then it is cold.
Bob is green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5 OR ((triple7) -> rule1) OR ((triple7) -> rule2))] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is quiet.[(triple12)] @1: Bob is cold.[(((triple2) -> rule1) OR ((triple2) -> rule2))]