Bob is green. Bob is kind. Bob is red. Bob is round. Bob is white. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Gary is red. Gary is round. Gary is young. All kind, red people are young. If someone is white and green then they are kind.
Gary is nice.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((triple5 triple1) -> rule2))] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Bob is young.[(((triple2 triple3) -> rule1) OR ((((triple5 triple1) -> rule2) triple3) -> rule1))]