Bob is big. Bob is not green. Bob is kind. Bob is white. Bob is young. Charlie is not green. Charlie is kind. Charlie is rough. Charlie is round. Charlie is young. Fiona is rough. Fiona is round. Fiona is young. Gary is green. Gary is round. Young people are white. If someone is green and not rough then they are big. Round people are big. If Fiona is kind then Fiona is round. If Charlie is round then Charlie is young. Rough, round people are young. If Bob is white and Bob is not kind then Bob is not green. If someone is big and not kind then they are round.
Charlie is green.
@0: Bob is big.[(triple1)] Bob is kind.[(triple3)] Bob is not green.[(triple2)] Bob is white.[(triple4 OR ((triple5) -> rule1))] Bob is young.[(triple5)] Charlie is kind.[(triple7)] Charlie is not green.[(triple6)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10 OR ((triple9) -> rule5) OR ((triple8 triple9) -> rule6))] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] Fiona is young.[(triple13 OR ((triple11 triple12) -> rule6))] Gary is green.[(triple14)] Gary is round.[(triple15)] @1: Charlie is big.[(((triple9) -> rule3))] Charlie is white.[(((triple10) -> rule1) OR ((((triple9) -> rule5)) -> rule1) OR ((((triple8 triple9) -> rule6)) -> rule1))] Fiona is big.[(((triple12) -> rule3))] Fiona is white.[(((triple13) -> rule1) OR ((((triple11 triple12) -> rule6)) -> rule1))] Gary is big.[(((triple15) -> rule3))]