Anne is blue. Anne is nice. Anne is quiet. Anne is round. Bob is big. Bob is green. Bob is nice. Bob is quiet. Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. If something is blue and nice then it is cold. If something is green then it is blue. If something is cold then it is nice.
Bob is blue.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Bob is big.[(triple5)] Bob is green.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8)] Charlie is big.[(triple9)] Charlie is blue.[(triple10 OR ((triple11) -> rule2))] Charlie is green.[(triple11)] Charlie is nice.[(triple12)] @1: Anne is cold.[(((triple1 triple2) -> rule1))] Bob is blue.[(((triple6) -> rule2))] Charlie is cold.[(((triple10 triple12) -> rule1) OR ((((triple11) -> rule2) triple12) -> rule1))] @2: Bob is cold.[(((((triple6) -> rule2) triple7) -> rule1))]