Bob is big. Bob is not quiet. Charlie is big. Charlie is smart. Fiona is cold. Fiona is round. Fiona is smart. Harry is cold. Harry is kind. Harry is smart. Big people are smart. Quiet people are smart. If someone is rough and not cold then they are not quiet. If someone is rough and not big then they are not round. If Fiona is smart and Fiona is rough then Fiona is not quiet. If someone is quiet and not round then they are kind.
Bob is not smart.
@0: Bob is big.[(triple1)] Bob is not quiet.[(triple2)] Charlie is big.[(triple3)] Charlie is smart.[(triple4 OR ((triple3) -> rule1))] Fiona is cold.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is smart.[(triple10)] @1: Bob is smart.[(((triple1) -> rule1))]