Anne is big. Anne is young. Erin is furry. Fiona is big. Fiona is cold. Fiona is furry. Fiona is young. If someone is nice and not round then they are cold. All cold people are blue. If someone is round and blue then they are big. If someone is round and nice then they are not furry. Furry, young people are nice. If Anne is furry and Anne is not round then Anne is not blue. If Anne is nice and Anne is blue then Anne is furry. If Erin is nice and Erin is not blue then Erin is big.
Anne is young.
@0: Anne is big.[(triple1)] Anne is young.[(triple2)] Erin is furry.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is blue.[(((triple5) -> rule2))] Fiona is nice.[(((triple6 triple7) -> rule5))]