Erin is big. Erin is kind. Erin is quiet. Erin is young. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is round. Fiona is young. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is young. All blue, kind people are big. If someone is nice and blue then they are kind. If someone is blue and quiet then they are nice.
Harry is big.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3)] Erin is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6 OR ((triple7 triple5) -> rule2))] Fiona is nice.[(triple7)] Fiona is round.[(triple8)] Fiona is young.[(triple9)] Harry is big.[(triple10 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple13 triple11) -> rule2)) -> rule1) OR ((triple11 ((((triple11 triple14) -> rule3) triple11) -> rule2)) -> rule1))] Harry is blue.[(triple11)] Harry is kind.[(triple12 OR ((triple13 triple11) -> rule2) OR ((((triple11 triple14) -> rule3) triple11) -> rule2))] Harry is nice.[(triple13 OR ((triple11 triple14) -> rule3))] Harry is quiet.[(triple14)] Harry is young.[(triple15)] @1: Fiona is big.[(((triple5 triple6) -> rule1) OR ((triple5 ((triple7 triple5) -> rule2)) -> rule1))]