Dave is cold. Dave is furry. Dave is kind. Dave is rough. Dave is round. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is round. Erin is smart. Gary is furry. Gary is kind. Gary is rough. Gary is round. All furry things are rough. All rough things are smart. If something is smart then it is cold.
Gary is not big.
@0: Dave is cold.[(triple1 OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2)) -> rule3))] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4 OR ((triple2) -> rule1))] Dave is round.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7 OR ((triple12) -> rule3) OR ((((triple10) -> rule2)) -> rule3) OR ((((((triple8) -> rule1)) -> rule2)) -> rule3))] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is rough.[(triple10 OR ((triple8) -> rule1))] Erin is round.[(triple11)] Erin is smart.[(triple12 OR ((triple10) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Gary is furry.[(triple13)] Gary is kind.[(triple14)] Gary is rough.[(triple15 OR ((triple13) -> rule1))] Gary is round.[(triple16)] @1: Dave is smart.[(((triple4) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Gary is smart.[(((triple15) -> rule2) OR ((((triple13) -> rule1)) -> rule2))] @2: Gary is cold.[(((((triple15) -> rule2)) -> rule3) OR ((((((triple13) -> rule1)) -> rule2)) -> rule3))]