Bob is big. Bob is blue. Bob is green. Bob is rough. Bob is round. Bob is smart. Bob is young. Charlie is blue. Charlie is green. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Fiona is big. Fiona is green. Fiona is round. All young people are blue. Rough people are young. Big people are young.
Charlie is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple7) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple1) -> rule3) OR ((triple4) -> rule2))] Charlie is blue.[(triple8 OR ((triple13) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Charlie is green.[(triple9)] Charlie is rough.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12)] Charlie is young.[(triple13 OR ((triple10) -> rule2))] Fiona is big.[(triple14)] Fiona is green.[(triple15)] Fiona is round.[(triple16)] @1: Fiona is young.[(((triple14) -> rule3))] @2: Fiona is blue.[(((((triple14) -> rule3)) -> rule1))]