Anne is big. Anne is kind. Anne is smart. Erin is blue. Erin is kind. Erin is red. Erin is white. Erin is young. Fiona is big. Fiona is kind. Fiona is white. Fiona is young. Harry is blue. Harry is red. Harry is young. White things are big. If something is smart then it is big. If Harry is young then Harry is red.
Harry is not big.
@0: Anne is big.[(triple1 OR ((triple3) -> rule2))] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9 OR ((triple11) -> rule1))] Fiona is kind.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14 OR ((triple15) -> rule3))] Harry is young.[(triple15)] @1: Erin is big.[(((triple7) -> rule1))]