Dave is cold. Dave is furry. Dave is young. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is rough. Gary is big. Gary is rough. If Gary is nice and Gary is young then Gary is big. Smart people are young. Nice people are smart. If Erin is nice and Erin is rough then Erin is young. All nice people are smart. All big people are cold. If someone is young then they are nice. Big people are young.
Gary is smart.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5 OR ((triple4) -> rule6))] Erin is furry.[(triple6)] Erin is nice.[(triple7 OR ((((triple4) -> rule8)) -> rule7))] Erin is rough.[(triple8)] Gary is big.[(triple9)] Gary is rough.[(triple10)] @1: Dave is nice.[(((triple3) -> rule7))] Erin is smart.[(((triple7) -> rule3) OR ((triple7) -> rule5) OR ((((((triple4) -> rule8)) -> rule7)) -> rule3) OR ((((((triple4) -> rule8)) -> rule7)) -> rule5))] Erin is young.[(((triple4) -> rule8) OR ((triple7 triple8) -> rule4) OR ((((triple7) -> rule3)) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] Gary is cold.[(((triple9) -> rule6))] Gary is young.[(((triple9) -> rule8))] @2: Dave is smart.[(((((triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule7)) -> rule5))] Gary is nice.[(((((triple9) -> rule8)) -> rule7))] @3: Gary is smart.[(((((((triple9) -> rule8)) -> rule7)) -> rule3) OR ((((((triple9) -> rule8)) -> rule7)) -> rule5))]