Anne is rough. Bob is blue. Bob is kind. Bob is red. Bob is rough. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Fiona is furry. Fiona is nice. Fiona is red. Fiona is white. If Bob is red and Bob is furry then Bob is kind. If someone is white and kind then they are blue. If Anne is nice then Anne is red. White people are red. Red people are nice. If Anne is furry and Anne is nice then Anne is blue.
Anne is white.
@0: Anne is rough.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Charlie is blue.[(triple6 OR ((triple11 triple8) -> rule2))] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9 OR ((triple10) -> rule5) OR ((((triple11) -> rule4)) -> rule5))] Charlie is red.[(triple10 OR ((triple11) -> rule4))] Charlie is white.[(triple11)] Fiona is furry.[(triple12)] Fiona is nice.[(triple13 OR ((triple14) -> rule5) OR ((((triple15) -> rule4)) -> rule5))] Fiona is red.[(triple14 OR ((triple15) -> rule4))] Fiona is white.[(triple15)] @1: Bob is nice.[(((triple4) -> rule5))]