Bob is cold. Bob is furry. Bob is kind. Bob is rough. Bob is smart. Bob is young. Dave is cold. Dave is smart. Dave is young. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Erin is young. Quiet people are furry. All furry people are cold. All young people are quiet.
Bob is young.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule2) OR ((((((triple6) -> rule3)) -> rule1)) -> rule2))] Bob is furry.[(triple2 OR ((((triple6) -> rule3)) -> rule1))] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7 OR ((((((triple9) -> rule3)) -> rule1)) -> rule2))] Dave is smart.[(triple8)] Dave is young.[(triple9)] Erin is cold.[(triple10 OR ((triple11) -> rule2) OR ((((triple13) -> rule1)) -> rule2) OR ((((((triple15) -> rule3)) -> rule1)) -> rule2))] Erin is furry.[(triple11 OR ((triple13) -> rule1) OR ((((triple15) -> rule3)) -> rule1))] Erin is kind.[(triple12)] Erin is quiet.[(triple13 OR ((triple15) -> rule3))] Erin is smart.[(triple14)] Erin is young.[(triple15)] @1: Bob is quiet.[(((triple6) -> rule3))] Dave is quiet.[(((triple9) -> rule3))] @2: Dave is furry.[(((((triple9) -> rule3)) -> rule1))]