Bob is blue. Bob is kind. Bob is quiet. Bob is round. Charlie is blue. Charlie is green. Charlie is kind. Erin is quiet. Harry is green. Harry is not rough. All kind things are not big. If Erin is quiet then Erin is blue. Big things are rough. If Erin is round then Erin is big. If something is quiet and blue then it is round. Rough, blue things are green. If Harry is rough and Harry is not round then Harry is green.
Charlie is not rough.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple3 triple1) -> rule5))] Charlie is blue.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Erin is quiet.[(triple8)] Harry is green.[(triple9)] Harry is not rough.[(triple10)] @1: Bob is not big.[(((triple2) -> rule1))] Charlie is not big.[(((triple7) -> rule1))] Erin is blue.[(((triple8) -> rule2))] @2: Erin is round.[(((triple8 ((triple8) -> rule2)) -> rule5))] @3: Erin is big.[(((((triple8 ((triple8) -> rule2)) -> rule5)) -> rule4))] @4: Erin is rough.[(((((((triple8 ((triple8) -> rule2)) -> rule5)) -> rule4)) -> rule3))] @5: Erin is green.[(((((((((triple8 ((triple8) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((triple8) -> rule2)) -> rule6))]