Bob is furry. Bob is kind. Bob is quiet. Bob is smart. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Harry is green. If something is quiet then it is smart. If something is rough then it is quiet. If something is smart then it is cold. Furry things are smart. All cold things are rough. Green things are smart.
Harry is rough.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((((((triple4) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple1) -> rule4)) -> rule3)) -> rule5)) -> rule2))] Bob is smart.[(triple4 OR ((triple1) -> rule4) OR ((triple3) -> rule1))] Charlie is cold.[(triple5 OR ((triple11) -> rule3) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple7) -> rule6)) -> rule3) OR ((((triple9) -> rule1)) -> rule3) OR ((((((triple10) -> rule2)) -> rule1)) -> rule3))] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9 OR ((triple10) -> rule2) OR ((((triple5) -> rule5)) -> rule2) OR ((((((triple11) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple6) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple7) -> rule6)) -> rule3)) -> rule5)) -> rule2))] Charlie is rough.[(triple10 OR ((triple5) -> rule5) OR ((((triple11) -> rule3)) -> rule5) OR ((((((triple6) -> rule4)) -> rule3)) -> rule5) OR ((((((triple7) -> rule6)) -> rule3)) -> rule5) OR ((((((triple9) -> rule1)) -> rule3)) -> rule5))] Charlie is smart.[(triple11 OR ((triple6) -> rule4) OR ((triple7) -> rule6) OR ((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1) OR ((((((triple5) -> rule5)) -> rule2)) -> rule1))] Harry is green.[(triple12)] @1: Bob is cold.[(((triple4) -> rule3) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Harry is smart.[(((triple12) -> rule6))] @2: Bob is rough.[(((((triple4) -> rule3)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3)) -> rule5) OR ((((((triple3) -> rule1)) -> rule3)) -> rule5))] Harry is cold.[(((((triple12) -> rule6)) -> rule3))] @3: Harry is rough.[(((((((triple12) -> rule6)) -> rule3)) -> rule5))] @4: Harry is quiet.[(((((((((triple12) -> rule6)) -> rule3)) -> rule5)) -> rule2))]