Bob is round. Erin is not kind. Erin is round. Fiona is blue. Fiona is red. Gary is big. Gary is round. All red people are blue. Red, blue people are kind. All red, round people are not nice.
Bob is not kind.
@0: Bob is round.[(triple1)] Erin is not kind.[(triple2)] Erin is round.[(triple3)] Fiona is blue.[(triple4 OR ((triple5) -> rule1))] Fiona is red.[(triple5)] Gary is big.[(triple6)] Gary is round.[(triple7)] @1: Fiona is kind.[(((triple5 triple4) -> rule2) OR ((triple5 ((triple5) -> rule1)) -> rule2))]