Anne is not big. Anne is cold. Anne is green. Anne is not kind. Anne is round. Anne is young. Erin is green. Erin is young. Fiona is big. Fiona is blue. Fiona is kind. Gary is big. Gary is blue. Gary is cold. Gary is kind. If someone is blue then they are green. Young people are cold. All green, kind people are young. If someone is cold and not green then they are young. Cold, blue people are big. If someone is kind and not cold then they are not big.
Fiona is round.
@0: Anne is cold.[(triple2 OR ((triple6) -> rule2))] Anne is green.[(triple3)] Anne is not big.[(triple1)] Anne is not kind.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Erin is green.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9 OR ((((((((triple10) -> rule1) triple11) -> rule3)) -> rule2) triple10) -> rule5))] Fiona is blue.[(triple10)] Fiona is kind.[(triple11)] Gary is big.[(triple12 OR ((triple14 triple13) -> rule5) OR ((((((((triple13) -> rule1) triple15) -> rule3)) -> rule2) triple13) -> rule5))] Gary is blue.[(triple13)] Gary is cold.[(triple14 OR ((((((triple13) -> rule1) triple15) -> rule3)) -> rule2))] Gary is kind.[(triple15)] @1: Erin is cold.[(((triple8) -> rule2))] Fiona is green.[(((triple10) -> rule1))] Gary is green.[(((triple13) -> rule1))] @2: Fiona is young.[(((((triple10) -> rule1) triple11) -> rule3))] Gary is young.[(((((triple13) -> rule1) triple15) -> rule3))] @3: Fiona is cold.[(((((((triple10) -> rule1) triple11) -> rule3)) -> rule2))]