Charlie is big. Charlie is furry. Charlie is not kind. Charlie is round. Dave is big. Dave is blue. Dave is not furry. Dave is kind. Dave is rough. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is not kind. Fiona is rough. Fiona is not round. If Fiona is round and Fiona is big then Fiona is blue. Kind things are big. Smart things are big. If something is furry then it is big. Blue, furry things are round. Big things are smart. Big, furry things are smart. If something is kind and furry then it is rough.
Fiona is round.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule4))] Charlie is furry.[(triple2)] Charlie is not kind.[(triple3)] Charlie is round.[(triple4)] Dave is big.[(triple5 OR ((triple8) -> rule2))] Dave is blue.[(triple6)] Dave is kind.[(triple8)] Dave is not furry.[(triple7)] Dave is rough.[(triple9)] Fiona is big.[(triple10 OR ((triple12) -> rule4))] Fiona is furry.[(triple12)] Fiona is not blue.[(triple11)] Fiona is not kind.[(triple13)] Fiona is not round.[(triple15)] Fiona is rough.[(triple14)] @1: Charlie is smart.[(((triple1) -> rule6) OR ((triple1 triple2) -> rule7) OR ((((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule7))] Dave is smart.[(((triple5) -> rule6) OR ((((triple8) -> rule2)) -> rule6))] Fiona is smart.[(((triple10) -> rule6) OR ((triple10 triple12) -> rule7) OR ((((triple12) -> rule4)) -> rule6) OR ((((triple12) -> rule4) triple12) -> rule7))]