Erin is blue. Erin is furry. Erin is nice. Erin is red. Erin is not white. Erin is not young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is not red. Fiona is not white. Fiona is young. Harry is nice. Harry is red. Harry is young. All furry people are big. Red, young people are not furry. If someone is white then they are young. If someone is white then they are not young. If Fiona is not red then Fiona is blue. If Harry is not young then Harry is big. All red people are blue. If someone is white and not big then they are blue.
Harry is not red.
@0: Erin is blue.[(triple1 OR ((triple4) -> rule7))] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is not white.[(triple5)] Erin is not young.[(triple6)] Erin is red.[(triple4)] Fiona is big.[(triple7 OR ((triple9) -> rule1))] Fiona is blue.[(triple8 OR ((triple11) -> rule5))] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is not red.[(triple11)] Fiona is not white.[(triple12)] Fiona is young.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16)] @1: Erin is big.[(((triple2) -> rule1))] Harry is blue.[(((triple15) -> rule7))] Harry is not furry.[(((triple15 triple16) -> rule2))]