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.
Fiona is not nice.
@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))]