Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is round. Charlie is smart. Fiona is green. Fiona is quiet. Fiona is round. Fiona is smart. Harry is smart. All green things are round. Quiet, blue things are smart. All smart, blue things are quiet.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3 OR ((triple5 triple1) -> rule3))] Charlie is round.[(triple4)] Charlie is smart.[(triple5 OR ((triple3 triple1) -> rule2))] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] Fiona is round.[(triple8 OR ((triple6) -> rule1))] Fiona is smart.[(triple9)] Harry is smart.[(triple10)]