Bob is smart. Bob is white. Bob is not young. Dave is not red. Dave is not round. Dave is smart. Dave is white. Erin is furry. Erin is not nice. Erin is round. Erin is not smart. Erin is white. Harry is furry. Harry is not nice. Harry is not smart. If Harry is white and Harry is round then Harry is not young. Smart, red people are furry. All furry people are round. Young people are not round. If Dave is furry and Dave is not red then Dave is smart. If Bob is smart then Bob is red.
Harry is red.
@0: Bob is not young.[(triple3)] Bob is smart.[(triple1)] Bob is white.[(triple2)] Dave is not red.[(triple4)] Dave is not round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Erin is furry.[(triple8)] Erin is not nice.[(triple9)] Erin is not smart.[(triple11)] Erin is round.[(triple10 OR ((triple8) -> rule3))] Erin is white.[(triple12)] Harry is furry.[(triple13)] Harry is not nice.[(triple14)] Harry is not smart.[(triple15)] @1: Bob is red.[(((triple1) -> rule6))] Harry is round.[(((triple13) -> rule3))] @2: Bob is furry.[(((triple1 ((triple1) -> rule6)) -> rule2))] @3: Bob is round.[(((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3))]