Anne is not kind. Anne is quiet. Anne is young. Bob is big. Bob is kind. Bob is not nice. Bob is quiet. Erin is kind. Erin is not quiet. Erin is rough. Erin is not round. Erin is not young. Gary is not big. Gary is quiet. Gary is young. If Anne is not young then Anne is round. If something is round and not quiet then it is not nice. All kind things are big.
Bob is big.
@0: Anne is not kind.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4 OR ((triple5) -> rule3))] Bob is kind.[(triple5)] Bob is not nice.[(triple6)] Bob is quiet.[(triple7)] Erin is kind.[(triple8)] Erin is not quiet.[(triple9)] Erin is not round.[(triple11)] Erin is not young.[(triple12)] Erin is rough.[(triple10)] Gary is not big.[(triple13)] Gary is quiet.[(triple14)] Gary is young.[(triple15)] @1: Erin is big.[(((triple8) -> rule3))]