Charlie is big. Charlie is rough. Charlie is not smart. Fiona is not green. Fiona is smart. Harry is furry. Harry is young. If someone is rough then they are green. If someone is green and rough then they are big. If someone is nice and not furry then they are young. If Fiona is nice and Fiona is smart then Fiona is green. Rough people are nice. All young, rough people are smart.
Charlie is not furry.
@0: Charlie is big.[(triple1 OR ((((triple2) -> rule1) triple2) -> rule2))] Charlie is not smart.[(triple3)] Charlie is rough.[(triple2)] Fiona is not green.[(triple4)] Fiona is smart.[(triple5)] Harry is furry.[(triple6)] Harry is young.[(triple7)] @1: Charlie is green.[(((triple2) -> rule1))] Charlie is nice.[(((triple2) -> rule5))]