Anne is cold. Anne is not green. Anne is not kind. Anne is quiet. Anne is round. Bob is kind. Bob is round. Charlie is cold. Charlie is quiet. Charlie is round. Erin is furry. If something is quiet then it is rough. Cold things are round. If something is green then it is quiet. All cold things are quiet. Green things are quiet. If something is kind and green then it is furry. Furry things are green. If Bob is kind then Bob is not rough. If something is rough and green then it is cold.
Charlie is kind.
@0: Anne is cold.[(triple1)] Anne is not green.[(triple2)] Anne is not kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule4))] Anne is round.[(triple5 OR ((triple1) -> rule2))] Bob is kind.[(triple6)] Bob is round.[(triple7)] Charlie is cold.[(triple8)] Charlie is quiet.[(triple9 OR ((triple8) -> rule4))] Charlie is round.[(triple10 OR ((triple8) -> rule2))] Erin is furry.[(triple11)] @1: Anne is rough.[(((triple4) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] Bob is not rough.[(((triple6) -> rule8))] Charlie is rough.[(((triple9) -> rule1) OR ((((triple8) -> rule4)) -> rule1))] Erin is green.[(((triple11) -> rule7))] @2: Erin is quiet.[(((((triple11) -> rule7)) -> rule3) OR ((((triple11) -> rule7)) -> rule5))] @3: Erin is rough.[(((((((triple11) -> rule7)) -> rule3)) -> rule1) OR ((((((triple11) -> rule7)) -> rule5)) -> rule1))] @4: Erin is cold.[(((((((((triple11) -> rule7)) -> rule3)) -> rule1) ((triple11) -> rule7)) -> rule9) OR ((((((((triple11) -> rule7)) -> rule5)) -> rule1) ((triple11) -> rule7)) -> rule9))] @5: Erin is round.[(((((((((((triple11) -> rule7)) -> rule3)) -> rule1) ((triple11) -> rule7)) -> rule9)) -> rule2) OR ((((((((((triple11) -> rule7)) -> rule5)) -> rule1) ((triple11) -> rule7)) -> rule9)) -> rule2))]