Dave is kind. Dave is round. Fiona is nice. If Dave is red then Dave is blue. Big people are red. Round people are kind. All round people are blue. If Fiona is round and Fiona is blue then Fiona is kind. Round people are nice. Smart people are red. If someone is round and red then they are smart.
Fiona is not kind.
@0: Dave is kind.[(triple1 OR ((triple2) -> rule3))] Dave is round.[(triple2)] Fiona is nice.[(triple3)] @1: Dave is blue.[(((triple2) -> rule4))] Dave is nice.[(((triple2) -> rule6))]