Charlie is blue. Charlie is furry. Charlie is green. Charlie is rough. Charlie is smart. Erin is green. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is smart. Harry is blue. Harry is green. Harry is kind. Harry is rough. Harry is smart. If something is green and furry then it is kind. Kind things are big.
Erin is big.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Erin is green.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9 OR ((triple8 triple7) -> rule1))] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is kind.[(((triple3 triple2) -> rule1))] Fiona is big.[(((triple9) -> rule2) OR ((((triple8 triple7) -> rule1)) -> rule2))] Harry is big.[(((triple14) -> rule2))] @2: Charlie is big.[(((((triple3 triple2) -> rule1)) -> rule2))]