Dave is big. Erin is nice. Fiona is kind. Harry is kind. Harry is nice. Harry is red. Harry is round. All nice people are round.
Harry is not red.
@0: Dave is big.[(triple1)] Erin is nice.[(triple2)] Fiona is kind.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7 OR ((triple5) -> rule1))] @1: Erin is round.[(((triple2) -> rule1))]