Bob is cold. Bob is quiet. Bob is red. Bob is white. Charlie is furry. Charlie is green. Erin is not red. Fiona is cold. Fiona is furry. Fiona is not nice. White people are quiet. All nice, red people are quiet. All green, nice people are quiet. If someone is green then they are quiet. If someone is white then they are furry. Cold, green people are white. Furry people are not nice. If Charlie is cold and Charlie is nice then Charlie is not white.
Fiona is not quiet.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2 OR ((triple4) -> rule1))] Bob is red.[(triple3)] Bob is white.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Erin is not red.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is not nice.[(triple10 OR ((triple9) -> rule7))] @1: Bob is furry.[(((triple4) -> rule5))] Charlie is not nice.[(((triple5) -> rule7))] Charlie is quiet.[(((triple6) -> rule4))] @2: Bob is not nice.[(((((triple4) -> rule5)) -> rule7))]