Bob is quiet. Bob is round. Fiona is red. Gary is quiet. Gary is round. Gary is young. Harry is round. If someone is red then they are round. If someone is kind and red then they are green. If someone is round and young then they are kind. All round people are quiet. If Harry is quiet and Harry is red then Harry is green. All quiet, red people are young.
Gary is not round.
@0: Bob is quiet.[(triple1 OR ((triple2) -> rule4))] Bob is round.[(triple2)] Fiona is red.[(triple3)] Gary is quiet.[(triple4 OR ((triple5) -> rule4))] Gary is round.[(triple5)] Gary is young.[(triple6)] Harry is round.[(triple7)] @1: Fiona is round.[(((triple3) -> rule1))] Gary is kind.[(((triple5 triple6) -> rule3))] Harry is quiet.[(((triple7) -> rule4))] @2: Fiona is quiet.[(((((triple3) -> rule1)) -> rule4))] @3: Fiona is young.[(((((((triple3) -> rule1)) -> rule4) triple3) -> rule6))] @4: Fiona is kind.[(((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule4) triple3) -> rule6)) -> rule3))] @5: Fiona is green.[(((((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule4) triple3) -> rule6)) -> rule3) triple3) -> rule2))]