Bob is blue. Bob is furry. Bob is round. Charlie is blue. Charlie is not furry. Charlie is smart. Charlie is not white. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is not round. Fiona is smart. Green things are white. If Fiona is not smart then Fiona is not blue. White things are blue. If Fiona is smart and Fiona is kind then Fiona is green. If Charlie is blue and Charlie is kind then Charlie is not white. If something is blue and not smart then it is round.
Charlie is kind.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is not furry.[(triple5)] Charlie is not white.[(triple7)] Charlie is smart.[(triple6)] Fiona is blue.[(triple8 OR ((((((triple12 triple10) -> rule4)) -> rule1)) -> rule3))] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is not round.[(triple11)] Fiona is smart.[(triple12)] @1: Fiona is green.[(((triple12 triple10) -> rule4))] @2: Fiona is white.[(((((triple12 triple10) -> rule4)) -> rule1))]