Anne is blue. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Anne is young. Bob is quiet. Charlie is blue. Charlie is quiet. Charlie is smart. Charlie is young. Fiona is blue. Fiona is quiet. Fiona is rough. If something is red then it is quiet. All rough, blue things are young.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule1))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple5 triple1) -> rule2))] Bob is quiet.[(triple8)] Charlie is blue.[(triple9)] Charlie is quiet.[(triple10)] Charlie is smart.[(triple11)] Charlie is young.[(triple12)] Fiona is blue.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] @1: Fiona is young.[(((triple15 triple13) -> rule2))]