Bob is cold. Bob is smart. Bob is young. Charlie is nice. Charlie is quiet. Charlie is rough. Dave is quiet. Smart things are quiet. If something is furry and rough then it is quiet. If something is quiet then it is nice. If Dave is rough then Dave is smart. If something is young then it is rough. If Dave is quiet then Dave is young. If something is quiet and furry then it is nice. If something is rough then it is cold.
Dave is quiet.
@0: Bob is cold.[(triple1 OR ((((triple3) -> rule5)) -> rule8))] Bob is smart.[(triple2)] Bob is young.[(triple3)] Charlie is nice.[(triple4 OR ((triple5) -> rule3))] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Dave is quiet.[(triple7)] @1: Bob is quiet.[(((triple2) -> rule1))] Bob is rough.[(((triple3) -> rule5))] Charlie is cold.[(((triple6) -> rule8))] Dave is nice.[(((triple7) -> rule3))] Dave is young.[(((triple7) -> rule6))] @2: Bob is nice.[(((((triple2) -> rule1)) -> rule3))] Dave is rough.[(((((triple7) -> rule6)) -> rule5))] @3: Dave is cold.[(((((((triple7) -> rule6)) -> rule5)) -> rule8))] Dave is smart.[(((((((triple7) -> rule6)) -> rule5)) -> rule4))]