Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is not white. Dave is blue. Dave is not furry. Dave is kind. Dave is red. Dave is round. Fiona is blue. Fiona is furry. Fiona is rough. If Dave is kind then Dave is not white. If someone is white and kind then they are red. If Charlie is rough and Charlie is not white then Charlie is furry. All round, red people are rough. All furry people are round. Furry people are kind.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple5 triple7) -> rule3) OR ((((triple6 triple4) -> rule4) triple7) -> rule3))] Charlie is kind.[(triple3 OR ((triple2) -> rule6) OR ((((triple5 triple7) -> rule3)) -> rule6) OR ((((((triple6 triple4) -> rule4) triple7) -> rule3)) -> rule6))] Charlie is not white.[(triple7)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple6 triple4) -> rule4) OR ((((triple2) -> rule5) triple4) -> rule4))] Charlie is round.[(triple6 OR ((triple2) -> rule5) OR ((((triple5 triple7) -> rule3)) -> rule5))] Dave is blue.[(triple8)] Dave is kind.[(triple10)] Dave is not furry.[(triple9)] Dave is red.[(triple11)] Dave is round.[(triple12)] Fiona is blue.[(triple13)] Fiona is furry.[(triple14)] Fiona is rough.[(triple15)] @1: Dave is not white.[(((triple10) -> rule1))] Dave is rough.[(((triple12 triple11) -> rule4))] Fiona is kind.[(((triple14) -> rule6))] Fiona is round.[(((triple14) -> rule5))]