Bob is big. Bob is kind. Bob is red. Bob is rough. Bob is smart. Bob is white. Fiona is kind. Fiona is not red. Fiona is rough. Harry is big. Harry is not kind. Harry is red. Harry is not rough. Harry is smart. Harry is white. If someone is red and not smart then they are white. Big people are not green.
Fiona is green.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Fiona is kind.[(triple7)] Fiona is not red.[(triple8)] Fiona is rough.[(triple9)] Harry is big.[(triple10)] Harry is not kind.[(triple11)] Harry is not rough.[(triple13)] Harry is red.[(triple12)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Bob is not green.[(((triple1) -> rule2))] Harry is not green.[(((triple10) -> rule2))]