Bob is blue. Bob is quiet. Erin is cold. Erin is green. Erin is rough. Gary is green. Gary is quiet. Gary is rough. Harry is cold. Harry is green. Harry is kind. Harry is rough. All rough, cold things are quiet. Quiet things are blue.
Harry is green.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2))] Bob is quiet.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is rough.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)] Gary is rough.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is rough.[(triple12)] @1: Erin is quiet.[(((triple5 triple3) -> rule1))] Gary is blue.[(((triple7) -> rule2))] Harry is quiet.[(((triple12 triple9) -> rule1))] @2: Erin is blue.[(((((triple5 triple3) -> rule1)) -> rule2))] Harry is blue.[(((((triple12 triple9) -> rule1)) -> rule2))]