Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. Harry is nice. Harry is red. Harry is white. All nice people are blue.
Harry is not rough.
@0: Erin is blue.[(triple1 OR ((triple2) -> rule1))] Erin is nice.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Harry is blue.[(((triple8) -> rule1))]