Anne is cold. Bob is blue. Bob is furry. Bob is quiet. Bob is white. Charlie is blue. Charlie is quiet. Charlie is white. Fiona is big. Fiona is white. All white things are big. Cold things are white. If Fiona is quiet and Fiona is furry then Fiona is white. If Charlie is cold and Charlie is furry then Charlie is rough. All rough things are blue. All furry, cold things are white. If Bob is rough then Bob is blue. If something is quiet then it is blue.
Charlie is not blue.
@0: Anne is cold.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule8))] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Bob is white.[(triple5)] Charlie is blue.[(triple6 OR ((triple7) -> rule8))] Charlie is quiet.[(triple7)] Charlie is white.[(triple8)] Fiona is big.[(triple9 OR ((triple10) -> rule1))] Fiona is white.[(triple10)] @1: Anne is white.[(((triple1) -> rule2))] Bob is big.[(((triple5) -> rule1))] Charlie is big.[(((triple8) -> rule1))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule1))]