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