Bob is big. Bob is not green. Charlie is big. Charlie is green. Charlie is kind. Charlie is red. Charlie is not white. Fiona is kind. Fiona is red. Fiona is not white. Gary is nice. Gary is quiet. If Fiona is red and Fiona is white then Fiona is kind. All nice things are quiet. Green things are nice.
Charlie is not nice.
@0: Bob is big.[(triple1)] Bob is not green.[(triple2)] Charlie is big.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is not white.[(triple7)] Charlie is red.[(triple6)] Fiona is kind.[(triple8)] Fiona is not white.[(triple10)] Fiona is red.[(triple9)] Gary is nice.[(triple11)] Gary is quiet.[(triple12 OR ((triple11) -> rule2))] @1: Charlie is nice.[(((triple4) -> rule3))] @2: Charlie is quiet.[(((((triple4) -> rule3)) -> rule2))]