Dave is cold. Dave is round. Fiona is not big. Fiona is cold. Fiona is red. Fiona is round. Fiona is young. Cold, round people are nice. If someone is nice then they are not furry. If someone is round then they are cold. If someone is red and not young then they are big. If someone is furry and cold then they are not red. If someone is nice and furry then they are not round.
Fiona is round.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule3))] Dave is round.[(triple2)] Fiona is cold.[(triple4 OR ((triple6) -> rule3))] Fiona is not big.[(triple3)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Dave is nice.[(((triple1 triple2) -> rule1) OR ((((triple2) -> rule3) triple2) -> rule1))] Fiona is nice.[(((triple4 triple6) -> rule1) OR ((((triple6) -> rule3) triple6) -> rule1))] @2: Dave is not furry.[(((((triple1 triple2) -> rule1)) -> rule2) OR ((((((triple2) -> rule3) triple2) -> rule1)) -> rule2))] Fiona is not furry.[(((((triple4 triple6) -> rule1)) -> rule2) OR ((((((triple6) -> rule3) triple6) -> rule1)) -> rule2))]