Bob is blue. Bob is rough. Bob is young. Dave is cold. Dave is furry. Dave is kind. Erin is kind. Erin is rough. Erin is young. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is smart. Harry is young. All rough things are smart. Smart, kind things are cold. Furry things are rough. All rough things are blue. All cold, blue things are furry. If Harry is kind then Harry is cold. All young things are smart. If Bob is cold and Bob is furry then Bob is smart.
Erin is not furry.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule4))] Bob is rough.[(triple2)] Bob is young.[(triple3)] Dave is cold.[(triple4 OR ((((((triple5) -> rule3)) -> rule1) triple6) -> rule2))] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Erin is kind.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Harry is blue.[(triple10 OR ((((triple12) -> rule3)) -> rule4))] Harry is cold.[(triple11 OR ((triple13) -> rule6) OR ((triple14 triple13) -> rule2) OR ((((triple15) -> rule7) triple13) -> rule2) OR ((((((triple12) -> rule3)) -> rule1) triple13) -> rule2))] Harry is furry.[(triple12 OR ((triple11 triple10) -> rule5) OR ((((triple13) -> rule6) triple10) -> rule5) OR ((((triple14 triple13) -> rule2) triple10) -> rule5) OR ((((((triple15) -> rule7) triple13) -> rule2) triple10) -> rule5))] Harry is kind.[(triple13)] Harry is smart.[(triple14 OR ((triple15) -> rule7) OR ((((triple12) -> rule3)) -> rule1) OR ((((((triple11 triple10) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple13) -> rule6) triple10) -> rule5)) -> rule3)) -> rule1))] Harry is young.[(triple15)] @1: Bob is smart.[(((triple2) -> rule1) OR ((triple3) -> rule7))] Dave is rough.[(((triple5) -> rule3))] Erin is blue.[(((triple8) -> rule4))] Erin is smart.[(((triple8) -> rule1) OR ((triple9) -> rule7))] Harry is rough.[(((triple12) -> rule3) OR ((((triple11 triple10) -> rule5)) -> rule3) OR ((((((triple13) -> rule6) triple10) -> rule5)) -> rule3) OR ((((((triple14 triple13) -> rule2) triple10) -> rule5)) -> rule3) OR ((((((((triple15) -> rule7) triple13) -> rule2) triple10) -> rule5)) -> rule3))] @2: Dave is blue.[(((((triple5) -> rule3)) -> rule4))] Dave is smart.[(((((triple5) -> rule3)) -> rule1))] Erin is cold.[(((((triple8) -> rule1) triple7) -> rule2) OR ((((triple9) -> rule7) triple7) -> rule2))] @3: Erin is furry.[(((((((triple8) -> rule1) triple7) -> rule2) ((triple8) -> rule4)) -> rule5) OR ((((((triple9) -> rule7) triple7) -> rule2) ((triple8) -> rule4)) -> rule5))]