Dave is big. Dave is cold. Dave is furry. Dave is not red. Dave is round. Fiona is not red. Fiona is round. If someone is red and not blue then they are big. All furry people are big. If someone is kind and not red then they are furry. If Fiona is round then Fiona is kind. If Fiona is round then Fiona is cold. Blue people are round. If someone is red and not kind then they are cold. All round people are cold.
Dave is not red.
@0: Dave is big.[(triple1 OR ((triple3) -> rule2))] Dave is cold.[(triple2 OR ((triple5) -> rule8))] Dave is furry.[(triple3)] Dave is not red.[(triple4)] Dave is round.[(triple5)] Fiona is not red.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is cold.[(((triple7) -> rule5) OR ((triple7) -> rule8))] Fiona is kind.[(((triple7) -> rule4))] @2: Fiona is furry.[(((((triple7) -> rule4) triple6) -> rule3))] @3: Fiona is big.[(((((((triple7) -> rule4) triple6) -> rule3)) -> rule2))]