Bob is green. Dave is nice. Fiona is nice. If Bob is smart then Bob is quiet. Furry people are not nice. All nice people are round. If someone is nice and smart then they are kind. If Fiona is smart and Fiona is kind then Fiona is round. All kind people are green.
Bob is not quiet.
@0: Bob is green.[(triple1)] Dave is nice.[(triple2)] Fiona is nice.[(triple3)] @1: Dave is round.[(((triple2) -> rule3))] Fiona is round.[(((triple3) -> rule3))]