Bob is green. Bob is quiet. Bob is white. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is white. Charlie is young. Erin is green. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. If Erin is quiet then Erin is blue. If something is young then it is green. All smart, quiet things are white. If Erin is white then Erin is smart. If Erin is green and Erin is young then Erin is kind. Smart, green things are young.
Bob is blue.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5 OR ((triple8) -> rule2))] Charlie is quiet.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Erin is green.[(triple9)] Fiona is blue.[(triple10)] Fiona is green.[(triple11 OR ((triple16) -> rule2))] Fiona is kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15 OR ((triple14 triple13) -> rule3))] Fiona is young.[(triple16 OR ((triple14 triple11) -> rule6))]