Anne is nice. Anne is red. Anne is not rough. Anne is white. Dave is furry. Fiona is furry. Fiona is kind. Fiona is nice. Harry is furry. Harry is kind. If someone is white then they are smart. All smart people are nice. Nice, furry people are kind. If someone is red then they are kind. If someone is rough then they are furry. If Harry is smart then Harry is furry. If Dave is furry then Dave is white. All nice people are red. If Dave is red then Dave is not rough.
Dave is nice.
@0: Anne is nice.[(triple1 OR ((((triple4) -> rule1)) -> rule2))] Anne is not rough.[(triple3)] Anne is red.[(triple2 OR ((triple1) -> rule8) OR ((((((triple4) -> rule1)) -> rule2)) -> rule8))] Anne is white.[(triple4)] Dave is furry.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7 OR ((triple8 triple6) -> rule3) OR ((((triple8) -> rule8)) -> rule4))] Fiona is nice.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10)] @1: Anne is kind.[(((triple2) -> rule4) OR ((((triple1) -> rule8)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule2)) -> rule8)) -> rule4))] Anne is smart.[(((triple4) -> rule1))] Dave is white.[(((triple5) -> rule7))] Fiona is red.[(((triple8) -> rule8))] @2: Dave is smart.[(((((triple5) -> rule7)) -> rule1))] @3: Dave is nice.[(((((((triple5) -> rule7)) -> rule1)) -> rule2))] @4: Dave is kind.[(((((((((triple5) -> rule7)) -> rule1)) -> rule2) triple5) -> rule3) OR ((((((((((triple5) -> rule7)) -> rule1)) -> rule2)) -> rule8)) -> rule4))] Dave is red.[(((((((((triple5) -> rule7)) -> rule1)) -> rule2)) -> rule8))] @5: Dave is not rough.[(((((((((((triple5) -> rule7)) -> rule1)) -> rule2)) -> rule8)) -> rule9))]