Bob is big. Bob is not blue. Bob is quiet. Bob is round. Charlie is not big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is round. Charlie is smart. Fiona is not blue. Fiona is not furry. Fiona is green. Fiona is quiet. Fiona is not smart. All quiet, smart things are round. Furry, big things are round. All round, quiet things are furry. If something is round then it is green. If something is blue and not round then it is not green. If something is smart and not quiet then it is green.
Bob is not smart.
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8 OR ((triple9) -> rule4))] Charlie is not big.[(triple5)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Fiona is green.[(triple13)] Fiona is not blue.[(triple11)] Fiona is not furry.[(triple12)] Fiona is not smart.[(triple15)] Fiona is quiet.[(triple14)] @1: Bob is furry.[(((triple4 triple3) -> rule3))] Bob is green.[(((triple4) -> rule4))]