Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is young. Fiona is big. Fiona is kind. Fiona is red. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is red. Harry is round. Nice things are round. If something is kind then it is young. Young, red things are nice.
Harry is young.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple7 triple5) -> rule3) OR ((((triple3) -> rule2) triple5) -> rule3))] Erin is red.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule1) OR ((((triple7 triple5) -> rule3)) -> rule1) OR ((((((triple3) -> rule2) triple5) -> rule3)) -> rule1))] Erin is young.[(triple7 OR ((triple3) -> rule2))] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((((triple13) -> rule2) triple15) -> rule3))] Harry is red.[(triple15)] Harry is round.[(triple16 OR ((triple14) -> rule1) OR ((((((triple13) -> rule2) triple15) -> rule3)) -> rule1))] @1: Fiona is young.[(((triple9) -> rule2))] Harry is young.[(((triple13) -> rule2))] @2: Fiona is nice.[(((((triple9) -> rule2) triple10) -> rule3))] @3: Fiona is round.[(((((((triple9) -> rule2) triple10) -> rule3)) -> rule1))]