Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is round. Fiona is quiet. Fiona is round. Blue, red things are quiet. If something is furry then it is quiet. If something is quiet and round then it is blue. If something is blue then it is red. Cold, blue things are furry. If Dave is red and Dave is round then Dave is furry.
Fiona is not furry.
@0: Dave is blue.[(triple1 OR ((((triple3) -> rule2) triple5) -> rule3) OR ((((((triple4 triple5) -> rule6)) -> rule2) triple5) -> rule3))] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple2 triple1) -> rule5) OR ((triple4 triple5) -> rule6) OR ((((triple1) -> rule4) triple5) -> rule6))] Dave is red.[(triple4 OR ((triple1) -> rule4) OR ((((((triple3) -> rule2) triple5) -> rule3)) -> rule4))] Dave is round.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] @1: Dave is quiet.[(((triple3) -> rule2) OR ((triple1 triple4) -> rule1) OR ((((triple2 triple1) -> rule5)) -> rule2) OR ((((triple4 triple5) -> rule6)) -> rule2) OR ((triple1 ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4) triple5) -> rule6)) -> rule2))] Fiona is blue.[(((triple6 triple7) -> rule3))] @2: Fiona is red.[(((((triple6 triple7) -> rule3)) -> rule4))]