Anne is nice. Bob is rough. Bob is smart. Bob is white. Bob is young. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Dave is white. Dave is young. Erin is furry. Erin is rough. Erin is smart. Erin is white. Erin is young. All rough, white people are cold. Furry people are rough. If someone is cold and young then they are furry.
Dave is furry.
@0: Anne is nice.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Dave is cold.[(triple6 OR ((triple8 triple10) -> rule1) OR ((((triple7) -> rule2) triple10) -> rule1))] Dave is furry.[(triple7 OR ((triple6 triple11) -> rule3) OR ((((triple8 triple10) -> rule1) triple11) -> rule3))] Dave is rough.[(triple8 OR ((triple7) -> rule2) OR ((((triple6 triple11) -> rule3)) -> rule2))] Dave is smart.[(triple9)] Dave is white.[(triple10)] Dave is young.[(triple11)] Erin is furry.[(triple12 OR ((((triple13 triple15) -> rule1) triple16) -> rule3))] Erin is rough.[(triple13 OR ((triple12) -> rule2))] Erin is smart.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16)] @1: Bob is cold.[(((triple2 triple4) -> rule1))] Erin is cold.[(((triple13 triple15) -> rule1) OR ((((triple12) -> rule2) triple15) -> rule1))] @2: Bob is furry.[(((((triple2 triple4) -> rule1) triple5) -> rule3))]