Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is round. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. If Harry is green then Harry is round. If someone is kind then they are round. All furry, kind people are big. All big, green people are quiet. All kind, furry people are cold. If Erin is big and Erin is cold then Erin is furry.
Harry is big.
@0: Erin is big.[(triple1 OR ((triple3 triple5) -> rule3))] Erin is cold.[(triple2 OR ((triple5 triple3) -> rule5))] Erin is furry.[(triple3 OR ((triple1 triple2) -> rule6))] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6 OR ((triple1 triple4) -> rule4) OR ((((triple3 triple5) -> rule3) triple4) -> rule4))] Erin is round.[(triple7 OR ((triple5) -> rule2))] Harry is big.[(triple8 OR ((triple10 triple12) -> rule3))] Harry is cold.[(triple9 OR ((triple12 triple10) -> rule5))] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13 OR ((triple8 triple11) -> rule4) OR ((((triple10 triple12) -> rule3) triple11) -> rule4))] Harry is round.[(triple14 OR ((triple11) -> rule1) OR ((triple12) -> rule2))]