Bob is not furry. Bob is young. Dave is cold. Dave is not green. Dave is red. Dave is round. Dave is not young. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is not red. Harry is round. Green, young things are red. If Fiona is not young then Fiona is cold. If something is young then it is green. If Fiona is round and Fiona is not cold then Fiona is not quiet. Quiet, red things are furry. Cold, red things are furry. Red things are not quiet. Furry, green things are not quiet.
Fiona is cold.
@0: Bob is not furry.[(triple1)] Bob is young.[(triple2)] Dave is cold.[(triple3)] Dave is not green.[(triple4)] Dave is not young.[(triple7)] Dave is red.[(triple5)] Dave is round.[(triple6)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is not red.[(triple11)] Fiona is quiet.[(triple10)] Harry is round.[(triple12)] @1: Bob is green.[(((triple2) -> rule3))] Dave is furry.[(((triple3 triple5) -> rule6))] Dave is not quiet.[(((triple5) -> rule7))] @2: Bob is red.[(((((triple2) -> rule3) triple2) -> rule1))] @3: Bob is not quiet.[(((((((triple2) -> rule3) triple2) -> rule1)) -> rule7))]