Bob is cold. Bob is white. Erin is cold. Erin is quiet. Erin is white. Fiona is quiet. Fiona is smart. Harry is cold. Harry is quiet. Harry is rough. If something is rough and cold then it is blue. All white things are rough. If something is blue and cold then it is smart.
Harry is not smart.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Erin is cold.[(triple3)] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)] Harry is cold.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Bob is rough.[(((triple2) -> rule2))] Erin is rough.[(((triple5) -> rule2))] Harry is blue.[(((triple10 triple8) -> rule1))] @2: Bob is blue.[(((((triple2) -> rule2) triple1) -> rule1))] Erin is blue.[(((((triple5) -> rule2) triple3) -> rule1))] Harry is smart.[(((((triple10 triple8) -> rule1) triple8) -> rule3))] @3: Bob is smart.[(((((((triple2) -> rule2) triple1) -> rule1) triple1) -> rule3))] Erin is smart.[(((((((triple5) -> rule2) triple3) -> rule1) triple3) -> rule3))]