Charlie is young. Dave is big. Dave is cold. Dave is furry. Fiona is cold. Fiona is not young. Gary is young. All smart people are white. If someone is furry then they are white. If Fiona is not smart and Fiona is not young then Fiona is red. If someone is cold and not young then they are furry. If someone is cold then they are furry. If someone is white and cold then they are not red. If Fiona is smart and Fiona is white then Fiona is not big. If Charlie is white then Charlie is furry.
Dave is smart.
@0: Charlie is young.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4 OR ((triple3) -> rule5))] Fiona is cold.[(triple5)] Fiona is not young.[(triple6)] Gary is young.[(triple7)] @1: Dave is white.[(((triple4) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] Fiona is furry.[(((triple5) -> rule5) OR ((triple5 triple6) -> rule4))] @2: Dave is not red.[(((((triple4) -> rule2) triple3) -> rule6) OR ((((((triple3) -> rule5)) -> rule2) triple3) -> rule6))] Fiona is white.[(((((triple5) -> rule5)) -> rule2) OR ((((triple5 triple6) -> rule4)) -> rule2))] @3: Fiona is not red.[(((((((triple5) -> rule5)) -> rule2) triple5) -> rule6) OR ((((((triple5 triple6) -> rule4)) -> rule2) triple5) -> rule6))]