Bob is rough. Bob is round. Bob is young. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Erin is blue. Erin is kind. Erin is quiet. All quiet people are round. If someone is young and red then they are kind.
Charlie is not rough.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] @1: Charlie is round.[(((triple5) -> rule1))] Erin is round.[(((triple10) -> rule1))]