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