Dave is big. Dave is furry. Dave is red. Erin is big. Erin is not red. Erin is not rough. Erin is round. Fiona is furry. Fiona is red. Fiona is not smart. Harry is round. Harry is smart. Rough, smart people are red. Rough, red people are round. Red people are furry. If Harry is rough then Harry is round. Smart, furry people are not rough. If someone is furry and not smart then they are not rough. If Fiona is red then Fiona is not round. If someone is nice and not red then they are big.
Erin is not big.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple3) -> rule3))] Dave is red.[(triple3)] Erin is big.[(triple4)] Erin is not red.[(triple5)] Erin is not rough.[(triple6)] Erin is round.[(triple7)] Fiona is furry.[(triple8 OR ((triple9) -> rule3))] Fiona is not smart.[(triple10)] Fiona is red.[(triple9)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is not rough.[(((triple8 triple10) -> rule6) OR ((((triple9) -> rule3) triple10) -> rule6))] Fiona is not round.[(((triple9) -> rule7))]