Anne is cold. Anne is furry. Anne is smart. Fiona is nice. Fiona is quiet. Fiona is smart. Harry is cold. If Anne is red and Anne is quiet then Anne is nice. All nice people are red. If someone is nice then they are cold. If Anne is smart then Anne is furry. If Harry is smart then Harry is quiet. Smart, green people are red.
Harry is smart.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule4))] Anne is smart.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6)] Harry is cold.[(triple7)] @1: Fiona is cold.[(((triple4) -> rule3))] Fiona is red.[(((triple4) -> rule2))]