Charlie is round. Charlie is not young. Dave is rough. Dave is not young. Erin is cold. Erin is young. Harry is furry. Round people are white. If someone is young then they are white. All round, rough people are big. All young, big people are not cold. Round, big people are not cold. Furry people are round. White, round people are furry. If Dave is furry and Dave is round then Dave is rough. If someone is furry then they are rough.
Harry is not rough.
@0: Charlie is not young.[(triple2)] Charlie is round.[(triple1)] Dave is not young.[(triple4)] Dave is rough.[(triple3)] Erin is cold.[(triple5)] Erin is young.[(triple6)] Harry is furry.[(triple7)] @1: Charlie is white.[(((triple1) -> rule1))] Erin is white.[(((triple6) -> rule2))] Harry is rough.[(((triple7) -> rule9))] Harry is round.[(((triple7) -> rule6))] @2: Charlie is furry.[(((((triple1) -> rule1) triple1) -> rule7))] Harry is big.[(((((triple7) -> rule6) ((triple7) -> rule9)) -> rule3))] Harry is white.[(((((triple7) -> rule6)) -> rule1))] @3: Charlie is rough.[(((((((triple1) -> rule1) triple1) -> rule7)) -> rule9))] Harry is not cold.[(((((triple7) -> rule6) ((((triple7) -> rule6) ((triple7) -> rule9)) -> rule3)) -> rule5))] @4: Charlie is big.[(((triple1 ((((((triple1) -> rule1) triple1) -> rule7)) -> rule9)) -> rule3))] @5: Charlie is not cold.[(((triple1 ((triple1 ((((((triple1) -> rule1) triple1) -> rule7)) -> rule9)) -> rule3)) -> rule5))]