Bob is young. Charlie is big. Charlie is round. Charlie is smart. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is young. If someone is big then they are nice. All round, big people are red.
Bob is not red.
@0: Bob is young.[(triple1)] Charlie is big.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is red.[(triple7)] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Charlie is nice.[(((triple2) -> rule1))] Charlie is red.[(((triple3 triple2) -> rule2))]