Fiona is big. Fiona is green. Fiona is nice. Fiona is not quiet. Fiona is not red. Fiona is rough. Fiona is smart. Gary is big. Gary is red. Gary is rough. Harry is not green. Harry is not quiet. Harry is red. Harry is rough. Harry is not smart. If Harry is not big then Harry is not rough. If someone is big then they are rough. All green people are smart. If someone is nice and not rough then they are red. If someone is green and not big then they are nice. All smart, green people are nice. If someone is big and not rough then they are green. If Harry is green and Harry is not nice then Harry is not quiet.
Gary is rough.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple3 OR ((triple7 triple2) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule6))] Fiona is not quiet.[(triple4)] Fiona is not red.[(triple5)] Fiona is rough.[(triple6 OR ((triple1) -> rule2))] Fiona is smart.[(triple7 OR ((triple2) -> rule3))] Gary is big.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10 OR ((triple8) -> rule2))] Harry is not green.[(triple11)] Harry is not quiet.[(triple12)] Harry is not smart.[(triple15)] Harry is red.[(triple13)] Harry is rough.[(triple14)]