Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is white. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. If Bob is round then Bob is red. Furry things are white. Red, round things are kind.
Bob is not kind.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple4 triple6) -> rule3) OR ((((triple6) -> rule1) triple6) -> rule3))] Bob is red.[(triple4 OR ((triple6) -> rule1))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple1) -> rule2))] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10 OR ((triple11 triple13) -> rule3))] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((triple8) -> rule2))]