Bob is not big. Bob is nice. Bob is smart. Erin is big. Erin is red. Erin is smart. Erin is young. Fiona is nice. Fiona is not red. Fiona is not rough. Fiona is smart. Harry is young. If someone is furry and nice then they are not smart. Nice people are not furry. Young, big people are nice. All red people are young. If someone is furry and not red then they are young. If someone is furry then they are not rough. If someone is young and not furry then they are rough. If someone is nice and not smart then they are not rough.
Erin is not furry.
@0: Bob is nice.[(triple2)] Bob is not big.[(triple1)] Bob is smart.[(triple3)] Erin is big.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7 OR ((triple5) -> rule4))] Fiona is nice.[(triple8)] Fiona is not red.[(triple9)] Fiona is not rough.[(triple10)] Fiona is smart.[(triple11)] Harry is young.[(triple12)] @1: Bob is not furry.[(((triple2) -> rule2))] Erin is nice.[(((triple7 triple4) -> rule3) OR ((((triple5) -> rule4) triple4) -> rule3))] Fiona is not furry.[(((triple8) -> rule2))] @2: Erin is not furry.[(((((triple7 triple4) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) triple4) -> rule3)) -> rule2))] @3: Erin is rough.[(((triple7 ((((triple7 triple4) -> rule3)) -> rule2)) -> rule7) OR ((((triple5) -> rule4) ((((triple7 triple4) -> rule3)) -> rule2)) -> rule7) OR ((triple7 ((((((triple5) -> rule4) triple4) -> rule3)) -> rule2)) -> rule7) OR ((((triple5) -> rule4) ((((((triple5) -> rule4) triple4) -> rule3)) -> rule2)) -> rule7))]