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