Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Harry is nice. Harry is red. Harry is smart. Cold people are nice. If someone is blue then they are red. All green, quiet people are blue.
Harry is nice.
@0: Erin is blue.[(triple1 OR ((triple3 triple5) -> rule3))] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4 OR ((triple2) -> rule1))] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple1) -> rule2) OR ((((triple3 triple5) -> rule3)) -> rule2))] Erin is smart.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10)]