Anne is cold. Anne is white. Dave is round. Erin is cold. Erin is kind. Fiona is cold. Fiona is furry. If something is kind and round then it is quiet. If something is white and round then it is kind. If Erin is cold then Erin is white. If Dave is quiet then Dave is cold. If something is round then it is smart. Smart things are white. All quiet things are furry. If Anne is quiet then Anne is smart.
Dave is white.
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Dave is round.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] @1: Dave is smart.[(((triple3) -> rule5))] Erin is white.[(((triple4) -> rule3))] @2: Dave is white.[(((((triple3) -> rule5)) -> rule6))] @3: Dave is kind.[(((((((triple3) -> rule5)) -> rule6) triple3) -> rule2))] @4: Dave is quiet.[(((((((((triple3) -> rule5)) -> rule6) triple3) -> rule2) triple3) -> rule1))] @5: Dave is cold.[(((((((((((triple3) -> rule5)) -> rule6) triple3) -> rule2) triple3) -> rule1)) -> rule4))] Dave is furry.[(((((((((((triple3) -> rule5)) -> rule6) triple3) -> rule2) triple3) -> rule1)) -> rule7))]