Bob is big. Bob is kind. Bob is quiet. Bob is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is young. Harry is big. Harry is furry. Harry is quiet. Harry is rough. Quiet, rough things are kind. If Harry is furry then Harry is big.
Bob is big.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is young.[(triple8)] Harry is big.[(triple9 OR ((triple10) -> rule2))] Harry is furry.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] @1: Harry is kind.[(((triple11 triple12) -> rule1))]