Dave is blue. Dave is red. Dave is young. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is white. Harry is nice. Harry is round. Harry is white. Harry is young. If someone is blue and round then they are red. If someone is red and young then they are rough. All round people are blue.
Harry is not blue.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Dave is young.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5 OR ((((triple7) -> rule3) triple7) -> rule1))] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Dave is rough.[(((triple2 triple3) -> rule2))] Erin is blue.[(((triple7) -> rule3))] Harry is blue.[(((triple10) -> rule3))] @2: Harry is red.[(((((triple10) -> rule3) triple10) -> rule1))] @3: Harry is rough.[(((((((triple10) -> rule3) triple10) -> rule1) triple12) -> rule2))]