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