Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Dave is big. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Harry is big. Harry is furry. Furry, nice people are smart. If Charlie is smart then Charlie is big.
Harry is not furry.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Dave is big.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10)] Harry is big.[(triple11)] Harry is furry.[(triple12)] @1: Charlie is smart.[(((triple1 triple4) -> rule1))] @2: Charlie is big.[(((((triple1 triple4) -> rule1)) -> rule2))]