Anne is big. Anne is quiet. Anne is rough. Anne is round. Dave is big. Dave is quiet. Dave is red. Erin is big. Erin is furry. Erin is not red. Erin is rough. Harry is big. Harry is nice. Harry is rough. Harry is round. Nice, furry people are rough. If someone is big and nice then they are rough. If someone is rough and quiet then they are furry. Big, nice people are furry. If Dave is rough and Dave is big then Dave is quiet. If someone is quiet and not nice then they are round.
Dave is not round.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Dave is big.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9)] Erin is not red.[(triple10)] Erin is rough.[(triple11)] Harry is big.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14 OR ((triple12 triple13) -> rule2) OR ((triple13 ((triple12 triple13) -> rule4)) -> rule1))] Harry is round.[(triple15)] @1: Anne is furry.[(((triple3 triple2) -> rule3))] Harry is furry.[(((triple12 triple13) -> rule4))]