Anne is quiet. Bob is big. Bob is quiet. Bob is red. Erin is not furry. Erin is not white. Fiona is not white. If Anne is white and Anne is cold then Anne is quiet. All white things are furry. Furry, white things are quiet. If something is big then it is white. Red, quiet things are cold. If Erin is quiet then Erin is red.
Fiona is red.
@0: Anne is quiet.[(triple1)] Bob is big.[(triple2)] Bob is quiet.[(triple3 OR ((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule3))] Bob is red.[(triple4)] Erin is not furry.[(triple5)] Erin is not white.[(triple6)] Fiona is not white.[(triple7)] @1: Bob is cold.[(((triple4 triple3) -> rule5) OR ((triple4 ((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule3)) -> rule5))] Bob is white.[(((triple2) -> rule4))] @2: Bob is furry.[(((((triple2) -> rule4)) -> rule2))]