Bob is big. Bob is kind. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is red. Erin is quiet. Erin is round. Gary is green. Gary is round. All quiet people are kind. All quiet people are red. If someone is green then they are big. All rough, red people are quiet. If someone is red then they are big. Quiet people are kind.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Charlie is big.[(triple3 OR ((triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] Charlie is kind.[(triple4 OR ((triple5) -> rule1) OR ((triple5) -> rule6))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple5) -> rule2))] Erin is quiet.[(triple7)] Erin is round.[(triple8)] Gary is green.[(triple9)] Gary is round.[(triple10)] @1: Erin is kind.[(((triple7) -> rule1) OR ((triple7) -> rule6))] Erin is red.[(((triple7) -> rule2))] Gary is big.[(((triple9) -> rule3))] @2: Erin is big.[(((((triple7) -> rule2)) -> rule5))]