Bob is green. Bob is rough. Bob is smart. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is young. All green, quiet people are rough. Nice, smart people are rough. If someone is green then they are nice.
Bob is quiet.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2 OR ((((triple1) -> rule3) triple3) -> rule2))] Bob is smart.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is nice.[(triple6 OR ((triple5) -> rule3))] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8 OR ((triple5 triple7) -> rule1) OR ((triple6 triple9) -> rule2) OR ((((triple5) -> rule3) triple9) -> rule2))] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is nice.[(triple13 OR ((triple12) -> rule3))] Fiona is rough.[(triple14 OR ((triple13 triple15) -> rule2) OR ((((triple12) -> rule3) triple15) -> rule2))] Fiona is smart.[(triple15)] Fiona is young.[(triple16)] @1: Bob is nice.[(((triple1) -> rule3))]