Bob is kind. Bob is round. Bob is young. Fiona is green. Fiona is smart. Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is smart. All round people are smart. Young, kind people are green. If someone is blue and green then they are round.
Fiona is young.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Harry is blue.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is quiet.[(triple9)] Harry is smart.[(triple10 OR ((((triple6 triple7) -> rule3)) -> rule1))] @1: Bob is green.[(((triple3 triple1) -> rule2))] Bob is smart.[(((triple2) -> rule1))] Harry is round.[(((triple6 triple7) -> rule3))]