Charlie is big. Charlie is white. Fiona is green. Fiona is smart. Fiona is white. Gary is big. Gary is furry. Gary is rough. Gary is smart. Gary is white. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is smart. All smart, white people are big. All furry people are big. If Charlie is smart and Charlie is green then Charlie is furry.
Harry is big.
@0: Charlie is big.[(triple1)] Charlie is white.[(triple2)] Fiona is green.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6 OR ((triple7) -> rule2) OR ((triple9 triple10) -> rule1))] Gary is furry.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Fiona is big.[(((triple4 triple5) -> rule1))] Harry is big.[(((triple11) -> rule2))]