Dave is nice. Erin is not big. Erin is not kind. Erin is red. Erin is white. Gary is not big. Gary is furry. Gary is kind. Gary is round. Gary is white. All round, red people are white. If someone is nice then they are white. Round people are furry. All red, furry people are nice. Furry people are kind. If Erin is white and Erin is not red then Erin is furry. Nice people are round. If someone is round and not furry then they are not big.
Dave is not kind.
@0: Dave is nice.[(triple1)] Erin is not big.[(triple2)] Erin is not kind.[(triple3)] Erin is red.[(triple4)] Erin is white.[(triple5)] Gary is furry.[(triple7 OR ((triple9) -> rule3))] Gary is kind.[(triple8 OR ((triple7) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] Gary is not big.[(triple6)] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Dave is round.[(((triple1) -> rule7))] Dave is white.[(((triple1) -> rule2))] @2: Dave is furry.[(((((triple1) -> rule7)) -> rule3))] @3: Dave is kind.[(((((((triple1) -> rule7)) -> rule3)) -> rule5))]