Anne is red. Bob is furry. Charlie is not cold. Charlie is quiet. Charlie is red. Charlie is young. Fiona is red. If Charlie is furry then Charlie is not cold. All red people are quiet. If someone is white and cold then they are quiet. If Fiona is young and Fiona is red then Fiona is quiet. If Bob is young and Bob is furry then Bob is round. All white, quiet people are not furry. All cold people are young. Round people are red. Furry people are cold.
Anne is not young.
@0: Anne is red.[(triple1)] Bob is furry.[(triple2)] Charlie is not cold.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5) -> rule2))] Charlie is red.[(triple5)] Charlie is young.[(triple6)] Fiona is red.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule2))] Bob is cold.[(((triple2) -> rule9))] Fiona is quiet.[(((triple7) -> rule2))] @2: Bob is young.[(((((triple2) -> rule9)) -> rule7))] @3: Bob is round.[(((((((triple2) -> rule9)) -> rule7) triple2) -> rule5))] @4: Bob is red.[(((((((((triple2) -> rule9)) -> rule7) triple2) -> rule5)) -> rule8))] @5: Bob is quiet.[(((((((((((triple2) -> rule9)) -> rule7) triple2) -> rule5)) -> rule8)) -> rule2))]