Bob is big. Bob is blue. Charlie is blue. Erin is big. Erin is green. Erin is kind. Erin is rough. All kind, green people are big. All rough, blue people are kind. If someone is big then they are rough.
Bob is quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Charlie is blue.[(triple3)] Erin is big.[(triple4 OR ((triple6 triple5) -> rule1))] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is rough.[(triple7 OR ((triple4) -> rule3) OR ((((triple6 triple5) -> rule1)) -> rule3))] @1: Bob is rough.[(((triple1) -> rule3))] @2: Bob is kind.[(((((triple1) -> rule3) triple2) -> rule2))]