Bob is round. Bob is smart. Bob is white. Fiona is furry. Fiona is green. Fiona is kind. Fiona is white. Fiona is young. Harry is green. Harry is kind. Harry is smart. Harry is young. If something is smart then it is round. Kind things are round. If something is young then it is white.
Bob is green.
@0: Bob is round.[(triple1 OR ((triple2) -> rule1))] Bob is smart.[(triple2)] Bob is white.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is white.[(triple7 OR ((triple8) -> rule3))] Fiona is young.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Fiona is round.[(((triple6) -> rule2))] Harry is round.[(((triple10) -> rule2) OR ((triple11) -> rule1))] Harry is white.[(((triple12) -> rule3))]