Bob is green. Bob is kind. Bob is nice. Dave is kind. Dave is nice. Dave is round. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Gary is big. Gary is green. Gary is round. If someone is rough then they are nice. Green, big people are red. Round, rough people are green.
Bob is not red.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is round.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8 OR ((triple13 triple12) -> rule3))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple12) -> rule1))] Fiona is red.[(triple11 OR ((triple8 triple7) -> rule2) OR ((((triple13 triple12) -> rule3) triple7) -> rule2))] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Gary is big.[(triple14)] Gary is green.[(triple15)] Gary is round.[(triple16)] @1: Gary is red.[(((triple15 triple14) -> rule2))]