Anne is kind. Erin is kind. Erin is smart. Fiona is big. Fiona is red. Fiona is smart. Gary is big. Gary is blue. Gary is not red. Gary is young. Red people are young. If Fiona is smart then Fiona is not round. All round people are red. If someone is blue and round then they are not big. If Anne is kind then Anne is round. If Erin is kind then Erin is smart. All kind, young people are blue. If Fiona is smart then Fiona is big.
Erin is not big.
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] Erin is smart.[(triple3 OR ((triple2) -> rule6))] Fiona is big.[(triple4 OR ((triple6) -> rule8))] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is not red.[(triple9)] Gary is young.[(triple10)] @1: Anne is round.[(((triple1) -> rule5))] Fiona is not round.[(((triple6) -> rule2))] Fiona is young.[(((triple5) -> rule1))] @2: Anne is red.[(((((triple1) -> rule5)) -> rule3))] @3: Anne is young.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))] @4: Anne is blue.[(((triple1 ((((((triple1) -> rule5)) -> rule3)) -> rule1)) -> rule7))] @5: Anne is not big.[(((((triple1 ((((((triple1) -> rule5)) -> rule3)) -> rule1)) -> rule7) ((triple1) -> rule5)) -> rule4))]