Bob is kind. Bob is nice. Bob is red. Fiona is blue. Fiona is nice. Fiona is red. Fiona is round. Quiet people are big. All red people are round.
Bob is not round.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7 OR ((triple6) -> rule2))] @1: Bob is round.[(((triple3) -> rule2))]