Anne is blue. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Anne is young. Charlie is blue. Charlie is young. Dave is not nice. Dave is quiet. Dave is red. Dave is smart. Gary is blue. Gary is quiet. Gary is smart. Gary is not young. If someone is young then they are nice. If someone is cold and young then they are nice. If Charlie is not cold then Charlie is nice. If Dave is smart and Dave is cold then Dave is young. Young, red people are quiet. All nice people are smart.
Anne is quiet.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((triple6) -> rule1))] Anne is quiet.[(triple3 OR ((triple6 triple4) -> rule5))] Anne is red.[(triple4)] Anne is smart.[(triple5 OR ((triple2) -> rule6) OR ((((triple6) -> rule1)) -> rule6))] Anne is young.[(triple6)] Charlie is blue.[(triple7)] Charlie is young.[(triple8)] Dave is not nice.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is smart.[(triple12)] Gary is blue.[(triple13)] Gary is not young.[(triple16)] Gary is quiet.[(triple14)] Gary is smart.[(triple15)] @1: Charlie is nice.[(((triple8) -> rule1))] @2: Charlie is smart.[(((((triple8) -> rule1)) -> rule6))]